../ maxima-xmaxima-5.39.0-1.hint 11-Dec-2016 10:12 714 maxima-xmaxima-5.39.0-1.tar.xz 11-Dec-2016 10:12 323K maxima-xmaxima-5.41.0-1.hint 12-Nov-2017 02:55 716 maxima-xmaxima-5.41.0-1.tar.xz 12-Nov-2017 02:55 325K maxima-xmaxima-5.42.1-1.hint 20-Oct-2018 05:01 716 maxima-xmaxima-5.42.1-1.tar.xz 20-Oct-2018 05:01 325K md5.sum 20-Oct-2018 06:44 429 sha512.sum 20-Oct-2018 06:44 1098