../ maxima-lang-de-utf8-5.45.0-1.hint 30-May-2021 10:17 706 maxima-lang-de-utf8-5.45.0-1.tar.zst 30-May-2021 10:17 909K maxima-lang-de-utf8-5.46.0-1.hint 21-Aug-2022 12:36 706 maxima-lang-de-utf8-5.46.0-1.tar.zst 21-Aug-2022 12:36 1M maxima-lang-de-utf8-5.47.0-1.hint 25-Jun-2023 16:07 705 maxima-lang-de-utf8-5.47.0-1.tar.zst 25-Jun-2023 16:07 1M sha512.sum 25-Jun-2023 16:14 993