../ maxima-xmaxima-5.39.0-1.hint 11-Dec-2016 17:11 714 maxima-xmaxima-5.39.0-1.tar.xz 11-Dec-2016 17:11 330852 maxima-xmaxima-5.41.0-1.hint 12-Nov-2017 09:55 716 maxima-xmaxima-5.41.0-1.tar.xz 12-Nov-2017 09:55 332376 maxima-xmaxima-5.42.1-1.hint 20-Oct-2018 12:02 716 maxima-xmaxima-5.42.1-1.tar.xz 20-Oct-2018 12:02 332324 md5.sum 20-Oct-2018 12:44 429 sha512.sum 20-Oct-2018 12:44 1098