../ maxima-5.30.0.tar.gz 04-Nov-2013 13:54 27182046 maxima-5.33.0.tar.gz 25-Apr-2014 12:49 28756677 maxima-5.34.1.tar.gz 22-Nov-2014 15:18 29469851 maxima-5.36.1.tar.gz 10-Aug-2015 17:24 29615673 maxima-5.39.0.tar.gz 01-Apr-2018 11:32 38652090 maxima-5.41.0.tar.gz 23-Jun-2018 13:28 41540226 maxima-5.43.1.tar.gz 27-Jan-2020 00:03 41276213 maxima-5.43.2.tar.gz 30-Jan-2020 16:55 40871773