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

[ICO]NameLast modifiedSizeDescription

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