Index of /mirror/debian-archive/pool/main/m/matita
Name
Last modified
Size
Parent Directory
-
matita_0.5.8.orig.tar.gz
2009-12-02 00:47
5.6M
matita_0.5.8-2.dsc
2009-12-04 17:19
1.7K
matita_0.5.8-2.diff.gz
2009-12-04 17:19
5.1K
matita_0.5.8-2+b2_s390.deb
2010-02-28 12:06
15M
matita_0.5.8-2+b2_mipsel.deb
2010-02-28 10:39
15M
matita_0.5.8-2+b2_mips.deb
2010-03-05 11:04
15M
matita_0.5.8-2+b2_ia64.deb
2010-02-26 08:37
15M
matita_0.5.8-2+b2_armel.deb
2010-03-05 22:48
15M
matita_0.5.8-2+b1_sparc.deb
2010-02-27 17:23
5.7M
matita_0.5.8-2+b1_powerpc.deb
2010-02-26 11:06
5.6M
matita_0.5.8-2+b1_kfreebsd-i386.deb
2010-02-25 23:02
4.8M
matita_0.5.8-2+b1_kfreebsd-amd64.deb
2010-02-25 23:02
5.8M
matita_0.5.8-2+b1_i386.deb
2010-02-26 00:54
4.8M
matita_0.5.8-2+b1_amd64.deb
2010-02-26 00:54
5.8M
matita_0.5.3.orig.tar.gz
2008-07-24 00:32
1.8M
matita_0.5.3-1_sparc.deb
2008-07-25 09:32
3.8M
matita_0.5.3-1_s390.deb
2008-07-24 08:17
9.9M
matita_0.5.3-1_powerpc.deb
2008-07-24 19:33
3.8M
matita_0.5.3-1_mipsel.deb
2008-07-24 19:47
9.9M
matita_0.5.3-1_mips.deb
2008-07-26 21:47
9.9M
matita_0.5.3-1_ia64.deb
2008-07-24 07:02
9.9M
matita_0.5.3-1_i386.deb
2008-07-24 19:47
3.1M
matita_0.5.3-1_hppa.deb
2008-07-24 07:02
9.9M
matita_0.5.3-1_armel.deb
2008-07-24 13:32
9.9M
matita_0.5.3-1_arm.deb
2008-07-26 20:17
9.9M
matita_0.5.3-1_amd64.deb
2008-07-24 00:32
3.5M
matita_0.5.3-1_alpha.deb
2008-07-28 19:17
9.9M
matita_0.5.3-1.dsc
2008-07-24 00:32
1.6K
matita_0.5.3-1.diff.gz
2008-07-24 00:32
4.3K
matita-standard-library_0.5.3-1_all.deb
2008-07-24 00:32
12M
matita-doc_0.5.8-2_all.deb
2009-12-04 17:19
1.6M
Apache/2.4.58 (Unix) Server at ftp.sunet.se Port 443