Index of /debian-archive/debian/pool/main/m/matita/
../
matita-doc_0.5.8-2_all.deb 04-Dec-2009 16:19 1670576
matita-standard-library_0.5.3-1_all.deb 23-Jul-2008 22:32 12609638
matita_0.5.3-1.diff.gz 23-Jul-2008 22:32 4407
matita_0.5.3-1.dsc 23-Jul-2008 22:32 1660
matita_0.5.3-1_alpha.deb 28-Jul-2008 17:17 10430594
matita_0.5.3-1_amd64.deb 23-Jul-2008 22:32 3626846
matita_0.5.3-1_arm.deb 26-Jul-2008 18:17 10433240
matita_0.5.3-1_armel.deb 24-Jul-2008 11:32 10429260
matita_0.5.3-1_hppa.deb 24-Jul-2008 05:02 10431464
matita_0.5.3-1_i386.deb 24-Jul-2008 17:47 3293750
matita_0.5.3-1_ia64.deb 24-Jul-2008 05:02 10433208
matita_0.5.3-1_mips.deb 26-Jul-2008 19:47 10433278
matita_0.5.3-1_mipsel.deb 24-Jul-2008 17:47 10433216
matita_0.5.3-1_powerpc.deb 24-Jul-2008 17:33 3968126
matita_0.5.3-1_s390.deb 24-Jul-2008 06:17 10433254
matita_0.5.3-1_sparc.deb 25-Jul-2008 07:32 4002826
matita_0.5.3.orig.tar.gz 23-Jul-2008 22:32 1933149
matita_0.5.8-2+b1_amd64.deb 25-Feb-2010 23:54 6092864
matita_0.5.8-2+b1_i386.deb 25-Feb-2010 23:54 5056910
matita_0.5.8-2+b1_kfreebsd-amd64.deb 25-Feb-2010 22:02 6091152
matita_0.5.8-2+b1_kfreebsd-i386.deb 25-Feb-2010 22:02 5056444
matita_0.5.8-2+b1_powerpc.deb 26-Feb-2010 10:06 5869550
matita_0.5.8-2+b1_sparc.deb 27-Feb-2010 16:23 5955340
matita_0.5.8-2+b2_armel.deb 05-Mar-2010 21:48 15582192
matita_0.5.8-2+b2_ia64.deb 26-Feb-2010 07:37 15583272
matita_0.5.8-2+b2_mips.deb 05-Mar-2010 10:04 15583328
matita_0.5.8-2+b2_mipsel.deb 28-Feb-2010 09:39 15582168
matita_0.5.8-2+b2_s390.deb 28-Feb-2010 11:06 15582208
matita_0.5.8-2.diff.gz 04-Dec-2009 16:19 5266
matita_0.5.8-2.dsc 04-Dec-2009 16:19 1721
matita_0.5.8.orig.tar.gz 01-Dec-2009 23:47 5879034