../ maxima-lang-de-utf8-5.45.0-1.hint 30-May-2021 18:17 706 maxima-lang-de-utf8-5.45.0-1.tar.zst 30-May-2021 18:17 931159 maxima-lang-de-utf8-5.46.0-1.hint 21-Aug-2022 20:36 706 maxima-lang-de-utf8-5.46.0-1.tar.zst 21-Aug-2022 20:36 1074430 maxima-lang-de-utf8-5.47.0-1.hint 26-Jun-2023 00:07 705 maxima-lang-de-utf8-5.47.0-1.tar.zst 26-Jun-2023 00:07 1071979 sha512.sum 26-Jun-2023 00:14 993