Index of /debian-archive/debian/pool/main/m/matita/
../
matita-doc_0.5.8-2_all.deb 05-Dec-2009 00:19 1670576
matita-standard-library_0.5.3-1_all.deb 24-Jul-2008 06:32 12609638
matita_0.5.3-1.diff.gz 24-Jul-2008 06:32 4407
matita_0.5.3-1.dsc 24-Jul-2008 06:32 1660
matita_0.5.3-1_alpha.deb 29-Jul-2008 01:17 10430594
matita_0.5.3-1_amd64.deb 24-Jul-2008 06:32 3626846
matita_0.5.3-1_arm.deb 27-Jul-2008 02:17 10433240
matita_0.5.3-1_armel.deb 24-Jul-2008 19:32 10429260
matita_0.5.3-1_hppa.deb 24-Jul-2008 13:02 10431464
matita_0.5.3-1_i386.deb 25-Jul-2008 01:47 3293750
matita_0.5.3-1_ia64.deb 24-Jul-2008 13:02 10433208
matita_0.5.3-1_mips.deb 27-Jul-2008 03:47 10433278
matita_0.5.3-1_mipsel.deb 25-Jul-2008 01:47 10433216
matita_0.5.3-1_powerpc.deb 25-Jul-2008 01:33 3968126
matita_0.5.3-1_s390.deb 24-Jul-2008 14:17 10433254
matita_0.5.3-1_sparc.deb 25-Jul-2008 15:32 4002826
matita_0.5.3.orig.tar.gz 24-Jul-2008 06:32 1933149
matita_0.5.8-2+b1_amd64.deb 26-Feb-2010 07:54 6092864
matita_0.5.8-2+b1_i386.deb 26-Feb-2010 07:54 5056910
matita_0.5.8-2+b1_kfreebsd-amd64.deb 26-Feb-2010 06:02 6091152
matita_0.5.8-2+b1_kfreebsd-i386.deb 26-Feb-2010 06:02 5056444
matita_0.5.8-2+b1_powerpc.deb 26-Feb-2010 18:06 5869550
matita_0.5.8-2+b1_sparc.deb 28-Feb-2010 00:23 5955340
matita_0.5.8-2+b2_armel.deb 06-Mar-2010 05:48 15582192
matita_0.5.8-2+b2_ia64.deb 26-Feb-2010 15:37 15583272
matita_0.5.8-2+b2_mips.deb 05-Mar-2010 18:04 15583328
matita_0.5.8-2+b2_mipsel.deb 28-Feb-2010 17:39 15582168
matita_0.5.8-2+b2_s390.deb 28-Feb-2010 19:06 15582208
matita_0.5.8-2.diff.gz 05-Dec-2009 00:19 5266
matita_0.5.8-2.dsc 05-Dec-2009 00:19 1721
matita_0.5.8.orig.tar.gz 02-Dec-2009 07:47 5879034
matita_0.99.1-1.debian.tar.gz 07-May-2012 05:36 4364
matita_0.99.1-1.dsc 07-May-2012 05:36 1542
matita_0.99.1-1_amd64.deb 07-May-2012 05:36 4097984
matita_0.99.1-1_armel.deb 07-May-2012 16:55 3862318
matita_0.99.1-1_armhf.deb 07-May-2012 07:49 9379080
matita_0.99.1-1_i386.deb 07-May-2012 07:17 3453380
matita_0.99.1-1_ia64.deb 07-May-2012 06:18 9375894
matita_0.99.1-1_kfreebsd-amd64.deb 07-May-2012 07:18 4099302
matita_0.99.1-1_kfreebsd-i386.deb 07-May-2012 06:32 3453002
matita_0.99.1-1_mips.deb 07-May-2012 08:06 9377072
matita_0.99.1-1_mipsel.deb 07-May-2012 14:02 9378730
matita_0.99.1-1_powerpc.deb 08-May-2012 15:36 3934792
matita_0.99.1-1_s390.deb 07-May-2012 06:18 9372166
matita_0.99.1-1_s390x.deb 07-May-2012 06:18 9373042
matita_0.99.1-1_sparc.deb 07-May-2012 07:03 3945826
matita_0.99.1-3.debian.tar.gz 11-Dec-2013 04:44 4848
matita_0.99.1-3.dsc 11-Dec-2013 04:44 1542
matita_0.99.1-3_amd64.deb 11-Dec-2013 04:44 2674968
matita_0.99.1-3_arm64.deb 20-Oct-2014 10:30 7288412
matita_0.99.1-3_armel.deb 11-Dec-2013 10:00 2620780
matita_0.99.1-3_armhf.deb 11-Dec-2013 08:45 2651642
matita_0.99.1-3_i386.deb 11-Dec-2013 05:44 2535196
matita_0.99.1-3_kfreebsd-amd64.deb 11-Dec-2013 06:14 2668710
matita_0.99.1-3_kfreebsd-i386.deb 11-Dec-2013 05:59 2536948
matita_0.99.1-3_mips.deb 11-Dec-2013 07:59 7301800
matita_0.99.1-3_mipsel.deb 11-Dec-2013 08:30 7295266
matita_0.99.1-3_powerpc.deb 11-Dec-2013 05:59 2373366
matita_0.99.1-3_ppc64el.deb 12-Sep-2014 06:09 7303206
matita_0.99.1-3_s390x.deb 11-Dec-2013 05:59 7302216
matita_0.99.1.orig.tar.gz 07-May-2012 05:36 10366065
matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 10:15 3455742
matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 08:58 3469000
matita_0.99.3-1+b1_armel.deb 12-Mar-2017 06:29 3393194
matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 10:44 3468184
matita_0.99.3-1+b1_i386.deb 08-Mar-2017 11:42 3269806
matita_0.99.3-1+b1_mips.deb 08-Mar-2017 14:13 8788766
matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 22:43 8792708
matita_0.99.3-1+b1_mipsel.deb 08-Mar-2017 23:28 8788378
matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 19:11 8801820
matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 10:00 8787918
matita_0.99.3-1.debian.tar.xz 25-May-2016 04:22 4296
matita_0.99.3-1.dsc 25-May-2016 04:22 2167
matita_0.99.3.orig.tar.gz 25-May-2016 04:22 3145643