File Name  ↓	File Size  ↓	Date  ↓
Parent directory/	-	-
maxima-lang-de-utf8-5.41.0-1.tar.xz	855.1 KiB	2017-Nov-12 02:55
maxima-lang-de-utf8-5.42.1-1.tar.xz	854.9 KiB	2018-Oct-20 05:01
maxima-lang-de-utf8-5.39.0-1.tar.xz	854.9 KiB	2016-Dec-11 10:11
sha512.sum	1.1 KiB	2018-Oct-20 05:44
maxima-lang-de-utf8-5.42.1-1.hint	707 B	2018-Oct-20 05:01
maxima-lang-de-utf8-5.41.0-1.hint	707 B	2017-Nov-12 02:55
maxima-lang-de-utf8-5.39.0-1.hint	705 B	2016-Dec-11 10:11
md5.sum	459 B	2018-Oct-20 05:44