Name Last modified Size
Parent Directory - maxima-lang-de-utf8-5.47.0-1.hint 2023-06-25 16:07 705 maxima-lang-de-utf8-5.45.0-1.hint 2021-05-30 10:17 706 maxima-lang-de-utf8-5.46.0-1.hint 2022-08-21 12:36 706 sha512.sum 2023-06-25 16:14 1.0K maxima-lang-de-utf8-5.45.0-1.tar.zst 2021-05-30 10:17 909K maxima-lang-de-utf8-5.47.0-1.tar.zst 2023-06-25 16:07 1.0M maxima-lang-de-utf8-5.46.0-1.tar.zst 2022-08-21 12:36 1.0M