Index of /debian-archive/debian/pool/main/m/matita
Name
Last modified
Size
Description
Parent Directory
-
matita-doc_0.5.8-2_all.deb
2009-12-04 16:19
1.6M
matita-standard-library_0.5.3-1_all.deb
2008-07-23 22:32
12M
matita_0.5.3-1.diff.gz
2008-07-23 22:32
4.3K
matita_0.5.3-1.dsc
2008-07-23 22:32
1.6K
matita_0.5.3-1_alpha.deb
2008-07-28 17:17
9.9M
matita_0.5.3-1_amd64.deb
2008-07-23 22:32
3.5M
matita_0.5.3-1_arm.deb
2008-07-26 18:17
9.9M
matita_0.5.3-1_armel.deb
2008-07-24 11:32
9.9M
matita_0.5.3-1_hppa.deb
2008-07-24 05:02
9.9M
matita_0.5.3-1_i386.deb
2008-07-24 17:47
3.1M
matita_0.5.3-1_ia64.deb
2008-07-24 05:02
9.9M
matita_0.5.3-1_mips.deb
2008-07-26 19:47
9.9M
matita_0.5.3-1_mipsel.deb
2008-07-24 17:47
9.9M
matita_0.5.3-1_powerpc.deb
2008-07-24 17:33
3.8M
matita_0.5.3-1_s390.deb
2008-07-24 06:17
9.9M
matita_0.5.3-1_sparc.deb
2008-07-25 07:32
3.8M
matita_0.5.3.orig.tar.gz
2008-07-23 22:32
1.8M
matita_0.5.8-2+b1_amd64.deb
2010-02-25 23:54
5.8M
matita_0.5.8-2+b1_i386.deb
2010-02-25 23:54
4.8M
matita_0.5.8-2+b1_kfreebsd-amd64.deb
2010-02-25 22:02
5.8M
matita_0.5.8-2+b1_kfreebsd-i386.deb
2010-02-25 22:02
4.8M
matita_0.5.8-2+b1_powerpc.deb
2010-02-26 10:06
5.6M
matita_0.5.8-2+b1_sparc.deb
2010-02-27 16:23
5.7M
matita_0.5.8-2+b2_armel.deb
2010-03-05 21:48
15M
matita_0.5.8-2+b2_ia64.deb
2010-02-26 07:37
15M
matita_0.5.8-2+b2_mips.deb
2010-03-05 10:04
15M
matita_0.5.8-2+b2_mipsel.deb
2010-02-28 09:39
15M
matita_0.5.8-2+b2_s390.deb
2010-02-28 11:06
15M
matita_0.5.8-2.diff.gz
2009-12-04 16:19
5.1K
matita_0.5.8-2.dsc
2009-12-04 16:19
1.7K
matita_0.5.8.orig.tar.gz
2009-12-01 23:47
5.6M
matita_0.99.1-1.debian.tar.gz
2012-05-06 21:36
4.3K
matita_0.99.1-1.dsc
2012-05-06 21:36
1.5K
matita_0.99.1-1_amd64.deb
2012-05-06 21:36
3.9M
matita_0.99.1-1_armel.deb
2012-05-07 08:55
3.7M
matita_0.99.1-1_armhf.deb
2012-05-06 23:49
8.9M
matita_0.99.1-1_i386.deb
2012-05-06 23:17
3.3M
matita_0.99.1-1_ia64.deb
2012-05-06 22:18
8.9M
matita_0.99.1-1_kfreebsd-amd64.deb
2012-05-06 23:18
3.9M
matita_0.99.1-1_kfreebsd-i386.deb
2012-05-06 22:32
3.3M
matita_0.99.1-1_mips.deb
2012-05-07 00:06
8.9M
matita_0.99.1-1_mipsel.deb
2012-05-07 06:02
8.9M
matita_0.99.1-1_powerpc.deb
2012-05-08 07:36
3.8M
matita_0.99.1-1_s390.deb
2012-05-06 22:18
8.9M
matita_0.99.1-1_s390x.deb
2012-05-06 22:18
8.9M
matita_0.99.1-1_sparc.deb
2012-05-06 23:03
3.8M
matita_0.99.1-3.debian.tar.gz
2013-12-10 20:44
4.7K
matita_0.99.1-3.dsc
2013-12-10 20:44
1.5K
matita_0.99.1-3_amd64.deb
2013-12-10 20:44
2.6M
matita_0.99.1-3_arm64.deb
2014-10-20 02:30
7.0M
matita_0.99.1-3_armel.deb
2013-12-11 02:00
2.5M
matita_0.99.1-3_armhf.deb
2013-12-11 00:45
2.5M
matita_0.99.1-3_i386.deb
2013-12-10 21:44
2.4M
matita_0.99.1-3_kfreebsd-amd64.deb
2013-12-10 22:14
2.5M
matita_0.99.1-3_kfreebsd-i386.deb
2013-12-10 21:59
2.4M
matita_0.99.1-3_mips.deb
2013-12-10 23:59
7.0M
matita_0.99.1-3_mipsel.deb
2013-12-11 00:30
7.0M
matita_0.99.1-3_powerpc.deb
2013-12-10 21:59
2.3M
matita_0.99.1-3_ppc64el.deb
2014-09-11 22:09
7.0M
matita_0.99.1-3_s390x.deb
2013-12-10 21:59
7.0M
matita_0.99.1.orig.tar.gz
2012-05-06 21:36
9.9M
matita_0.99.3-1+b1_amd64.deb
2017-03-08 02:15
3.3M
matita_0.99.3-1+b1_arm64.deb
2017-03-08 00:58
3.3M
matita_0.99.3-1+b1_armel.deb
2017-03-11 22:29
3.2M
matita_0.99.3-1+b1_armhf.deb
2017-03-13 02:44
3.3M
matita_0.99.3-1+b1_i386.deb
2017-03-08 03:42
3.1M
matita_0.99.3-1+b1_mips.deb
2017-03-08 06:13
8.4M
matita_0.99.3-1+b1_mips64el.deb
2017-03-08 14:43
8.4M
matita_0.99.3-1+b1_mipsel.deb
2017-03-08 15:28
8.4M
matita_0.99.3-1+b1_ppc64el.deb
2017-03-08 11:11
8.4M
matita_0.99.3-1+b1_s390x.deb
2017-03-08 02:00
8.4M
matita_0.99.3-1.debian.tar.xz
2016-05-24 20:22
4.2K
matita_0.99.3-1.dsc
2016-05-24 20:22
2.1K
matita_0.99.3.orig.tar.gz
2016-05-24 20:22
3.0M