Index of /debian-archive/pool/main/m/matita

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]matita-doc_0.5.8-2_all.deb2009-12-04 10:19 1.6M 
[ ]matita-standard-library_0.5.3-1_all.deb2008-07-23 17:32 12M 
[ ]matita_0.5.3-1.diff.gz2008-07-23 17:32 4.3K 
[ ]matita_0.5.3-1.dsc2008-07-23 17:32 1.6K 
[ ]matita_0.5.3-1_alpha.deb2008-07-28 12:17 9.9M 
[ ]matita_0.5.3-1_amd64.deb2008-07-23 17:32 3.5M 
[ ]matita_0.5.3-1_arm.deb2008-07-26 13:17 9.9M 
[ ]matita_0.5.3-1_armel.deb2008-07-24 06:32 9.9M 
[ ]matita_0.5.3-1_hppa.deb2008-07-24 00:02 9.9M 
[ ]matita_0.5.3-1_i386.deb2008-07-24 12:47 3.1M 
[ ]matita_0.5.3-1_ia64.deb2008-07-24 00:02 9.9M 
[ ]matita_0.5.3-1_mips.deb2008-07-26 14:47 9.9M 
[ ]matita_0.5.3-1_mipsel.deb2008-07-24 12:47 9.9M 
[ ]matita_0.5.3-1_powerpc.deb2008-07-24 12:33 3.8M 
[ ]matita_0.5.3-1_s390.deb2008-07-24 01:17 9.9M 
[ ]matita_0.5.3-1_sparc.deb2008-07-25 02:32 3.8M 
[ ]matita_0.5.3.orig.tar.gz2008-07-23 17:32 1.8M 
[ ]matita_0.5.8-2+b1_amd64.deb2010-02-25 17:54 5.8M 
[ ]matita_0.5.8-2+b1_i386.deb2010-02-25 17:54 4.8M 
[ ]matita_0.5.8-2+b1_kfreebsd-amd64.deb2010-02-25 16:02 5.8M 
[ ]matita_0.5.8-2+b1_kfreebsd-i386.deb2010-02-25 16:02 4.8M 
[ ]matita_0.5.8-2+b1_powerpc.deb2010-02-26 04:06 5.6M 
[ ]matita_0.5.8-2+b1_sparc.deb2010-02-27 10:23 5.7M 
[ ]matita_0.5.8-2+b2_armel.deb2010-03-05 15:48 15M 
[ ]matita_0.5.8-2+b2_ia64.deb2010-02-26 01:37 15M 
[ ]matita_0.5.8-2+b2_mips.deb2010-03-05 04:04 15M 
[ ]matita_0.5.8-2+b2_mipsel.deb2010-02-28 03:39 15M 
[ ]matita_0.5.8-2+b2_s390.deb2010-02-28 05:06 15M 
[ ]matita_0.5.8-2.diff.gz2009-12-04 10:19 5.1K 
[ ]matita_0.5.8-2.dsc2009-12-04 10:19 1.7K 
[ ]matita_0.5.8.orig.tar.gz2009-12-01 17:47 5.6M 
[ ]matita_0.99.1-1.debian.tar.gz2012-05-06 16:36 4.3K 
[ ]matita_0.99.1-1.dsc2012-05-06 16:36 1.5K 
[ ]matita_0.99.1-1_amd64.deb2012-05-06 16:36 3.9M 
[ ]matita_0.99.1-1_armel.deb2012-05-07 03:55 3.7M 
[ ]matita_0.99.1-1_armhf.deb2012-05-06 18:49 8.9M 
[ ]matita_0.99.1-1_i386.deb2012-05-06 18:17 3.3M 
[ ]matita_0.99.1-1_ia64.deb2012-05-06 17:18 8.9M 
[ ]matita_0.99.1-1_kfreebsd-amd64.deb2012-05-06 18:18 3.9M 
[ ]matita_0.99.1-1_kfreebsd-i386.deb2012-05-06 17:32 3.3M 
[ ]matita_0.99.1-1_mips.deb2012-05-06 19:06 8.9M 
[ ]matita_0.99.1-1_mipsel.deb2012-05-07 01:02 8.9M 
[ ]matita_0.99.1-1_powerpc.deb2012-05-08 02:36 3.8M 
[ ]matita_0.99.1-1_s390.deb2012-05-06 17:18 8.9M 
[ ]matita_0.99.1-1_s390x.deb2012-05-06 17:18 8.9M 
[ ]matita_0.99.1-1_sparc.deb2012-05-06 18:03 3.8M 
[ ]matita_0.99.1-3.debian.tar.gz2013-12-10 14:44 4.7K 
[ ]matita_0.99.1-3.dsc2013-12-10 14:44 1.5K 
[ ]matita_0.99.1-3_amd64.deb2013-12-10 14:44 2.6M 
[ ]matita_0.99.1-3_arm64.deb2014-10-19 21:30 7.0M 
[ ]matita_0.99.1-3_armel.deb2013-12-10 20:00 2.5M 
[ ]matita_0.99.1-3_armhf.deb2013-12-10 18:45 2.5M 
[ ]matita_0.99.1-3_i386.deb2013-12-10 15:44 2.4M 
[ ]matita_0.99.1-3_kfreebsd-amd64.deb2013-12-10 16:14 2.5M 
[ ]matita_0.99.1-3_kfreebsd-i386.deb2013-12-10 15:59 2.4M 
[ ]matita_0.99.1-3_mips.deb2013-12-10 17:59 7.0M 
[ ]matita_0.99.1-3_mipsel.deb2013-12-10 18:30 7.0M 
[ ]matita_0.99.1-3_powerpc.deb2013-12-10 15:59 2.3M 
[ ]matita_0.99.1-3_ppc64el.deb2014-09-11 17:09 7.0M 
[ ]matita_0.99.1-3_s390x.deb2013-12-10 15:59 7.0M 
[ ]matita_0.99.1.orig.tar.gz2012-05-06 16:36 9.9M