Index of /mirror/debian/pool/main/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita_0.99.1-3.debian.tar.gz
2013-12-10 21:44
4.7K
matita_0.99.1-3.dsc
2013-12-10 21:44
1.5K
matita_0.99.1-3_amd64.deb
2013-12-10 21:44
2.6M
matita_0.99.1-3_armel.deb
2013-12-11 03:00
2.5M
matita_0.99.1-3_armhf.deb
2013-12-11 01:45
2.5M
matita_0.99.1-3_i386.deb
2013-12-10 22:44
2.4M
matita_0.99.1.orig.tar.gz
2012-05-06 23:36
9.9M
matita_0.99.3-1+b1_amd64.deb
2017-03-08 03:15
3.3M
matita_0.99.3-1+b1_arm64.deb
2017-03-08 01:58
3.3M
matita_0.99.3-1+b1_armel.deb
2017-03-11 23:29
3.2M
matita_0.99.3-1+b1_armhf.deb
2017-03-13 03:44
3.3M
matita_0.99.3-1+b1_i386.deb
2017-03-08 04:42
3.1M
matita_0.99.3-1+b1_mips.deb
2017-03-08 07:13
8.4M
matita_0.99.3-1+b1_mips64el.deb
2017-03-08 15:43
8.4M
matita_0.99.3-1+b1_mipsel.deb
2017-03-08 16:28
8.4M
matita_0.99.3-1+b1_ppc64el.deb
2017-03-08 12:11
8.4M
matita_0.99.3-1+b1_s390x.deb
2017-03-08 03:00
8.4M
matita_0.99.3-1+b2_amd64.deb
2017-09-26 20:14
4.3M
matita_0.99.3-1+b2_arm64.deb
2017-09-26 18:59
4.7M
matita_0.99.3-1+b2_i386.deb
2017-09-26 19:14
3.4M
matita_0.99.3-1+b2_mips64el.deb
2017-09-27 06:28
8.4M
matita_0.99.3-1+b2_mipsel.deb
2017-09-27 04:27
8.4M
matita_0.99.3-1+b2_ppc64el.deb
2017-09-26 18:59
4.8M
matita_0.99.3-1+b2_s390x.deb
2017-09-26 18:59
5.0M
matita_0.99.3-1+b3_armel.deb
2017-10-06 19:44
8.4M
matita_0.99.3-1+b3_armhf.deb
2017-10-06 18:29
3.4M
matita_0.99.3-1.debian.tar.xz
2016-05-24 22:22
4.2K
matita_0.99.3-1.dsc
2016-05-24 22:22
2.1K
matita_0.99.3.orig.tar.gz
2016-05-24 22:22
3.0M
Apache/2.4.25 (Debian) Server at ftp.tu-graz.ac.at Port 80