../ mathpartir_1.2.0-7.debian.tar.xz 11-Apr-2022 12:35 2436 mathpartir_1.2.0-7.dsc 11-Apr-2022 12:35 1914 mathpartir_1.2.0-7_all.deb 11-Apr-2022 12:35 3116 mathpartir_1.2.0.orig.tar.gz 11-Apr-2022 12:35 229K