Index of /debian/pool/main/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita_0.99.1-3.debian.tar.gz
2013-12-10 15:44
4.7K
matita_0.99.1-3.dsc
2013-12-10 15:44
1.5K
matita_0.99.1-3_amd64.deb
2013-12-10 15:44
2.6M
matita_0.99.1-3_armel.deb
2013-12-10 21:00
2.5M
matita_0.99.1-3_armhf.deb
2013-12-10 19:45
2.5M
matita_0.99.1-3_i386.deb
2013-12-10 16:44
2.4M
matita_0.99.1.orig.tar.gz
2012-05-06 17:36
9.9M
matita_0.99.3-1+b1_amd64.deb
2017-03-07 21:15
3.3M
matita_0.99.3-1+b1_arm64.deb
2017-03-07 19:58
3.3M
matita_0.99.3-1+b1_armel.deb
2017-03-11 17:29
3.2M
matita_0.99.3-1+b1_armhf.deb
2017-03-12 22:44
3.3M
matita_0.99.3-1+b1_i386.deb
2017-03-07 22:42
3.1M
matita_0.99.3-1+b1_mips.deb
2017-03-08 01:13
8.4M
matita_0.99.3-1+b1_mips64el.deb
2017-03-08 09:43
8.4M
matita_0.99.3-1+b1_mipsel.deb
2017-03-08 10:28
8.4M
matita_0.99.3-1+b1_ppc64el.deb
2017-03-08 06:11
8.4M
matita_0.99.3-1+b1_s390x.deb
2017-03-07 21:00
8.4M
matita_0.99.3-1.debian.tar.xz
2016-05-24 16:22
4.2K
matita_0.99.3-1.dsc
2016-05-24 16:22
2.1K
matita_0.99.3.orig.tar.gz
2016-05-24 16:22
3.0M