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

Icon  Name                                    Last modified      Size  Description
[DIR] Parent Directory - [   ] matita-doc_0.5.8-2_all.deb 05-Dec-2009 00:19 1.6M [   ] matita-doc_0.5.8-3_all.deb 31-May-2011 17:32 1.2M [   ] matita-standard-library_0.5.3-1_all.deb 24-Jul-2008 06:32 12M [   ] matita_0.5.3-1.diff.gz 24-Jul-2008 06:32 4.3K [TXT] matita_0.5.3-1.dsc 24-Jul-2008 06:32 1.6K [   ] matita_0.5.3-1_alpha.deb 29-Jul-2008 01:17 9.9M [   ] matita_0.5.3-1_amd64.deb 24-Jul-2008 06:32 3.5M [   ] matita_0.5.3-1_arm.deb 27-Jul-2008 02:17 9.9M [   ] matita_0.5.3-1_armel.deb 24-Jul-2008 19:32 9.9M [   ] matita_0.5.3-1_hppa.deb 24-Jul-2008 13:02 9.9M [   ] matita_0.5.3-1_i386.deb 25-Jul-2008 01:47 3.1M [   ] matita_0.5.3-1_ia64.deb 24-Jul-2008 13:02 9.9M [   ] matita_0.5.3-1_mips.deb 27-Jul-2008 03:47 9.9M [   ] matita_0.5.3-1_mipsel.deb 25-Jul-2008 01:47 9.9M [   ] matita_0.5.3-1_powerpc.deb 25-Jul-2008 01:33 3.8M [   ] matita_0.5.3-1_s390.deb 24-Jul-2008 14:17 9.9M [   ] matita_0.5.3-1_sparc.deb 25-Jul-2008 15:32 3.8M [   ] matita_0.5.3.orig.tar.gz 24-Jul-2008 06:32 1.8M [   ] matita_0.5.8-2+b1_amd64.deb 26-Feb-2010 07:54 5.8M [   ] matita_0.5.8-2+b1_i386.deb 26-Feb-2010 07:54 4.8M [   ] matita_0.5.8-2+b1_kfreebsd-amd64.deb 26-Feb-2010 06:02 5.8M [   ] matita_0.5.8-2+b1_kfreebsd-i386.deb 26-Feb-2010 06:02 4.8M [   ] matita_0.5.8-2+b1_powerpc.deb 26-Feb-2010 18:06 5.6M [   ] matita_0.5.8-2+b1_sparc.deb 28-Feb-2010 00:23 5.7M [   ] matita_0.5.8-2+b2_armel.deb 06-Mar-2010 05:48 15M [   ] matita_0.5.8-2+b2_ia64.deb 26-Feb-2010 15:37 15M [   ] matita_0.5.8-2+b2_mips.deb 05-Mar-2010 18:04 15M [   ] matita_0.5.8-2+b2_mipsel.deb 28-Feb-2010 17:39 15M [   ] matita_0.5.8-2+b2_s390.deb 28-Feb-2010 19:06 15M [   ] matita_0.5.8-2.diff.gz 05-Dec-2009 00:19 5.1K [TXT] matita_0.5.8-2.dsc 05-Dec-2009 00:19 1.7K [   ] matita_0.5.8-3+b1_amd64.deb 12-Jul-2011 16:53 5.8M [   ] matita_0.5.8-3+b1_armel.deb 13-Jul-2011 01:32 5.5M [   ] matita_0.5.8-3+b1_hurd-i386.deb 14-Jul-2011 01:47 4.9M [   ] matita_0.5.8-3+b1_i386.deb 12-Jul-2011 17:17 4.9M [   ] matita_0.5.8-3+b1_kfreebsd-amd64.deb 12-Jul-2011 19:32 5.8M [   ] matita_0.5.8-3+b1_kfreebsd-i386.deb 12-Jul-2011 17:32 4.9M [   ] matita_0.5.8-3+b1_powerpc.deb 12-Jul-2011 17:18 5.6M [   ] matita_0.5.8-3+b1_sparc.deb 12-Jul-2011 18:03 5.7M [   ] matita_0.5.8-3+b2_ia64.deb 04-Nov-2011 08:18 15M [   ] matita_0.5.8-3+b2_mips.deb 04-Nov-2011 07:21 15M [   ] matita_0.5.8-3+b2_mipsel.deb 04-Nov-2011 06:49 15M [   ] matita_0.5.8-3+b2_s390.deb 04-Nov-2011 15:18 15M [   ] matita_0.5.8-3.debian.tar.gz 31-May-2011 17:32 6.4K [TXT] matita_0.5.8-3.dsc 31-May-2011 17:32 2.3K [   ] matita_0.5.8-3_armhf.deb 28-Dec-2011 10:48 15M [   ] matita_0.5.8.orig.tar.gz 02-Dec-2009 07:47 5.6M
Microsoft-IIS/10.0 Server at ftp.ncnu.edu.tw Port 80