../ maxima-xmaxima-5.39.0-1.hint 11-Dec-2016 10:11 714 maxima-xmaxima-5.39.0-1.tar.xz 11-Dec-2016 10:11 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:02 716 maxima-xmaxima-5.42.1-1.tar.xz 20-Oct-2018 05:02 325K md5.sum 20-Oct-2018 05:44 429 sha512.sum 20-Oct-2018 05:44 1098