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_amd64.deb 23-Jul-2008 22:32 3626846
matita_0.5.3-1_i386.deb 24-Jul-2008 17:47 3293750
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.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
matita_0.99.1-1.debian.tar.gz 06-May-2012 21:36 4364
matita_0.99.1-1.dsc 06-May-2012 21:36 1542
matita_0.99.1-1_amd64.deb 06-May-2012 21:36 4097984
matita_0.99.1-1_armhf.deb 06-May-2012 23:49 9379080
matita_0.99.1-1_i386.deb 06-May-2012 23:17 3453380
matita_0.99.1-1_kfreebsd-amd64.deb 06-May-2012 23:18 4099302
matita_0.99.1-1_kfreebsd-i386.deb 06-May-2012 22:32 3453002
matita_0.99.1-1_s390x.deb 06-May-2012 22:18 9373042
matita_0.99.1-3.debian.tar.gz 10-Dec-2013 20:44 4848
matita_0.99.1-3.dsc 10-Dec-2013 20:44 1542
matita_0.99.1-3_amd64.deb 10-Dec-2013 20:44 2674968
matita_0.99.1-3_arm64.deb 20-Oct-2014 02:30 7288412
matita_0.99.1-3_armhf.deb 11-Dec-2013 00:45 2651642
matita_0.99.1-3_i386.deb 10-Dec-2013 21:44 2535196
matita_0.99.1-3_kfreebsd-amd64.deb 10-Dec-2013 22:14 2668710
matita_0.99.1-3_kfreebsd-i386.deb 10-Dec-2013 21:59 2536948
matita_0.99.1-3_ppc64el.deb 11-Sep-2014 22:09 7303206
matita_0.99.1-3_s390x.deb 10-Dec-2013 21:59 7302216
matita_0.99.1.orig.tar.gz 06-May-2012 21:36 10366065
matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 02:15 3455742
matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 00:58 3469000
matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 02:44 3468184
matita_0.99.3-1+b1_i386.deb 08-Mar-2017 03:42 3269806
matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 14:43 8792708
matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 11:11 8801820
matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 02:00 8787918
matita_0.99.3-1.debian.tar.xz 24-May-2016 20:22 4296
matita_0.99.3-1.dsc 24-May-2016 20:22 2167
matita_0.99.3.orig.tar.gz 24-May-2016 20:22 3145643