Index of /debian-archive/debian/pool/main/m/matita/
../
matita-doc_0.5.8-2_all.deb 05-Dec-2009 01:19 2M
matita-standard-library_0.5.3-1_all.deb 24-Jul-2008 07:32 12M
matita_0.5.3-1.diff.gz 24-Jul-2008 07:32 4407
matita_0.5.3-1.dsc 24-Jul-2008 07:32 1660
matita_0.5.3-1_alpha.deb 29-Jul-2008 02:17 10M
matita_0.5.3-1_amd64.deb 24-Jul-2008 07:32 3M
matita_0.5.3-1_arm.deb 27-Jul-2008 03:17 10M
matita_0.5.3-1_armel.deb 24-Jul-2008 20:32 10M
matita_0.5.3-1_hppa.deb 24-Jul-2008 14:02 10M
matita_0.5.3-1_i386.deb 25-Jul-2008 02:47 3M
matita_0.5.3-1_ia64.deb 24-Jul-2008 14:02 10M
matita_0.5.3-1_mips.deb 27-Jul-2008 04:47 10M
matita_0.5.3-1_mipsel.deb 25-Jul-2008 02:47 10M
matita_0.5.3-1_powerpc.deb 25-Jul-2008 02:33 4M
matita_0.5.3-1_s390.deb 24-Jul-2008 15:17 10M
matita_0.5.3-1_sparc.deb 25-Jul-2008 16:32 4M
matita_0.5.3.orig.tar.gz 24-Jul-2008 07:32 2M
matita_0.5.8-2+b1_amd64.deb 26-Feb-2010 08:54 6M
matita_0.5.8-2+b1_i386.deb 26-Feb-2010 08:54 5M
matita_0.5.8-2+b1_kfreebsd-amd64.deb 26-Feb-2010 07:02 6M
matita_0.5.8-2+b1_kfreebsd-i386.deb 26-Feb-2010 07:02 5M
matita_0.5.8-2+b1_powerpc.deb 26-Feb-2010 19:06 6M
matita_0.5.8-2+b1_sparc.deb 28-Feb-2010 01:23 6M
matita_0.5.8-2+b2_armel.deb 06-Mar-2010 06:48 15M
matita_0.5.8-2+b2_ia64.deb 26-Feb-2010 16:37 15M
matita_0.5.8-2+b2_mips.deb 05-Mar-2010 19:04 15M
matita_0.5.8-2+b2_mipsel.deb 28-Feb-2010 18:39 15M
matita_0.5.8-2+b2_s390.deb 28-Feb-2010 20:06 15M
matita_0.5.8-2.diff.gz 05-Dec-2009 01:19 5266
matita_0.5.8-2.dsc 05-Dec-2009 01:19 1721
matita_0.5.8.orig.tar.gz 02-Dec-2009 08:47 6M
matita_0.99.1-1.debian.tar.gz 07-May-2012 06:36 4364
matita_0.99.1-1.dsc 07-May-2012 06:36 1542
matita_0.99.1-1_amd64.deb 07-May-2012 06:36 4M
matita_0.99.1-1_armel.deb 07-May-2012 17:55 4M
matita_0.99.1-1_armhf.deb 07-May-2012 08:49 9M
matita_0.99.1-1_i386.deb 07-May-2012 08:17 3M
matita_0.99.1-1_ia64.deb 07-May-2012 07:18 9M
matita_0.99.1-1_kfreebsd-amd64.deb 07-May-2012 08:18 4M
matita_0.99.1-1_kfreebsd-i386.deb 07-May-2012 07:32 3M
matita_0.99.1-1_mips.deb 07-May-2012 09:06 9M
matita_0.99.1-1_mipsel.deb 07-May-2012 15:02 9M
matita_0.99.1-1_powerpc.deb 08-May-2012 16:36 4M
matita_0.99.1-1_s390.deb 07-May-2012 07:18 9M
matita_0.99.1-1_s390x.deb 07-May-2012 07:18 9M
matita_0.99.1-1_sparc.deb 07-May-2012 08:03 4M
matita_0.99.1-3.debian.tar.gz 11-Dec-2013 05:44 4848
matita_0.99.1-3.dsc 11-Dec-2013 05:44 1542
matita_0.99.1-3_amd64.deb 11-Dec-2013 05:44 3M
matita_0.99.1-3_arm64.deb 20-Oct-2014 11:30 7M
matita_0.99.1-3_armel.deb 11-Dec-2013 11:00 2M
matita_0.99.1-3_armhf.deb 11-Dec-2013 09:45 3M
matita_0.99.1-3_i386.deb 11-Dec-2013 06:44 2M
matita_0.99.1-3_kfreebsd-amd64.deb 11-Dec-2013 07:14 3M
matita_0.99.1-3_kfreebsd-i386.deb 11-Dec-2013 06:59 2M
matita_0.99.1-3_mips.deb 11-Dec-2013 08:59 7M
matita_0.99.1-3_mipsel.deb 11-Dec-2013 09:30 7M
matita_0.99.1-3_powerpc.deb 11-Dec-2013 06:59 2M
matita_0.99.1-3_ppc64el.deb 12-Sep-2014 07:09 7M
matita_0.99.1-3_s390x.deb 11-Dec-2013 06:59 7M
matita_0.99.1.orig.tar.gz 07-May-2012 06:36 10M
matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 11:15 3M
matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 09:58 3M
matita_0.99.3-1+b1_armel.deb 12-Mar-2017 07:29 3M
matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 11:44 3M
matita_0.99.3-1+b1_i386.deb 08-Mar-2017 12:42 3M
matita_0.99.3-1+b1_mips.deb 08-Mar-2017 15:13 8M
matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 23:43 8M
matita_0.99.3-1+b1_mipsel.deb 09-Mar-2017 00:28 8M
matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 20:11 8M
matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 11:00 8M
matita_0.99.3-1.debian.tar.xz 25-May-2016 05:22 4296
matita_0.99.3-1.dsc 25-May-2016 05:22 2167
matita_0.99.3.orig.tar.gz 25-May-2016 05:22 3M