../ maxima-xmaxima-5.45.0-1.hint 30-May-2021 11:18 716 maxima-xmaxima-5.45.0-1.tar.zst 30-May-2021 11:18 328K maxima-xmaxima-5.46.0-1.hint 21-Aug-2022 11:36 716 maxima-xmaxima-5.46.0-1.tar.zst 21-Aug-2022 11:36 447K maxima-xmaxima-5.47.0-1.hint 25-Jun-2023 15:07 715 maxima-xmaxima-5.47.0-1.tar.zst 25-Jun-2023 15:07 446K sha512.sum 25-Jun-2023 15:14 963