../ maxima-lang-es-utf8-5.39.0-1.hint 11-Dec-2016 17:11 705 maxima-lang-es-utf8-5.39.0-1.tar.xz 11-Dec-2016 17:11 797012 maxima-lang-es-utf8-5.41.0-1.hint 12-Nov-2017 09:55 707 maxima-lang-es-utf8-5.41.0-1.tar.xz 12-Nov-2017 09:55 818248 maxima-lang-es-utf8-5.42.1-1.hint 20-Oct-2018 12:01 707 maxima-lang-es-utf8-5.42.1-1.tar.xz 20-Oct-2018 12:01 821180 md5.sum 20-Oct-2018 12:44 459 sha512.sum 20-Oct-2018 12:44 1128