Index of /pub/debian-archive/debian/pool/main/m/matita
Name Last modified Size Description
![[PARENTDIR]](/icons/back.gif)
Parent Directory -
![[ ]](/icons/unknown.gif)
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 23:32 12M
![[ ]](/icons/compressed.gif)
matita_0.5.3-1.diff.gz 2008-07-23 23:32 4.3K
![[TXT]](/icons/text.gif)
matita_0.5.3-1.dsc 2008-07-23 23:32 1.6K
matita_0.5.3-1_alpha.deb 2008-07-28 18:17 9.9M
matita_0.5.3-1_amd64.deb 2008-07-23 23:32 3.5M
matita_0.5.3-1_arm.deb 2008-07-26 19:17 9.9M
matita_0.5.3-1_armel.deb 2008-07-24 12:32 9.9M
matita_0.5.3-1_hppa.deb 2008-07-24 06:02 9.9M
matita_0.5.3-1_i386.deb 2008-07-24 18:47 3.1M
matita_0.5.3-1_ia64.deb 2008-07-24 06:02 9.9M
matita_0.5.3-1_mips.deb 2008-07-26 20:47 9.9M
matita_0.5.3-1_mipsel.deb 2008-07-24 18:47 9.9M
matita_0.5.3-1_powerpc.deb 2008-07-24 18:33 3.8M
matita_0.5.3-1_s390.deb 2008-07-24 07:17 9.9M
matita_0.5.3-1_sparc.deb 2008-07-25 08:32 3.8M
matita_0.5.3.orig.tar.gz 2008-07-23 23: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 22:36 4.3K
matita_0.99.1-1.dsc 2012-05-06 22:36 1.5K
matita_0.99.1-1_amd64.deb 2012-05-06 22:36 3.9M
matita_0.99.1-1_armel.deb 2012-05-07 09:55 3.7M
matita_0.99.1-1_armhf.deb 2012-05-07 00:49 8.9M
matita_0.99.1-1_i386.deb 2012-05-07 00:17 3.3M
matita_0.99.1-1_ia64.deb 2012-05-06 23:18 8.9M
matita_0.99.1-1_kfreebsd-amd64.deb 2012-05-07 00:18 3.9M
matita_0.99.1-1_kfreebsd-i386.deb 2012-05-06 23:32 3.3M
matita_0.99.1-1_mips.deb 2012-05-07 01:06 8.9M
matita_0.99.1-1_mipsel.deb 2012-05-07 07:02 8.9M
matita_0.99.1-1_powerpc.deb 2012-05-08 08:36 3.8M
matita_0.99.1-1_s390.deb 2012-05-06 23:18 8.9M
matita_0.99.1-1_s390x.deb 2012-05-06 23:18 8.9M
matita_0.99.1-1_sparc.deb 2012-05-07 00: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 03: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 23: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 22: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 21:22 4.2K
matita_0.99.3-1.dsc 2016-05-24 21:22 2.1K
matita_0.99.3.orig.tar.gz 2016-05-24 21:22 3.0M