Index of /pool/main/m/matita/

directories: 0, files: 8

NameLast modifiedSize
../
matita_0.99.1-1.debian.tar.gz2019-08-30 02:15:474.26 KiB
matita_0.99.1-1.dsc2019-08-30 02:15:471.51 KiB
matita_0.99.3-1.dsc2019-08-29 04:19:192.12 KiB
matita_0.99.1-1_amd64.deb2019-08-30 01:20:483.91 MiB
matita_0.99.3-1.debian.tar.xz2019-08-29 04:19:194.20 KiB
matita_0.99.1.orig.tar.gz2019-08-30 02:15:529.89 MiB
matita_0.99.3.orig.tar.gz2019-08-29 04:19:193.00 MiB
matita_0.99.3-1+b1_amd64.deb2019-08-29 04:00:463.29 MiB