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