Name Last modified Size Description Parent Directory - maxima.png 2005-09-26 16:03 869 maxima.spec 2019-06-12 23:29 5.7K maxima-5.30.0-texinfo-5.patch 2013-06-03 17:00 6.6K