Index of /archive.debian.org/debian/pool/main/m/matita/

NameLast ModifiedSizeType
../ -  Directory
matita-doc_0.5.8-2_all.deb2009-Dec-04 16:19:111.6Mapplication/vnd.debian.binary-package
matita-standard-library_0.5.3-1_all.deb2008-Jul-23 23:32:0312.0Mapplication/vnd.debian.binary-package
matita_0.5.3-1.diff.gz2008-Jul-23 23:32:034.3Kapplication/gzip
matita_0.5.3-1.dsc2008-Jul-23 23:32:031.6Kapplication/octet-stream
matita_0.5.3-1_alpha.deb2008-Jul-28 18:17:079.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_amd64.deb2008-Jul-23 23:32:033.4Mapplication/vnd.debian.binary-package
matita_0.5.3-1_arm.deb2008-Jul-26 19:17:189.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_armel.deb2008-Jul-24 12:32:029.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_hppa.deb2008-Jul-24 06:02:389.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_i386.deb2008-Jul-24 18:47:283.1Mapplication/vnd.debian.binary-package
matita_0.5.3-1_ia64.deb2008-Jul-24 06:02:399.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_mips.deb2008-Jul-26 20:47:589.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_mipsel.deb2008-Jul-24 18:47:289.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_powerpc.deb2008-Jul-24 18:33:153.8Mapplication/vnd.debian.binary-package
matita_0.5.3-1_s390.deb2008-Jul-24 07:17:389.9Mapplication/vnd.debian.binary-package
matita_0.5.3-1_sparc.deb2008-Jul-25 08:32:063.8Mapplication/vnd.debian.binary-package
matita_0.5.3.orig.tar.gz2008-Jul-23 23:32:031.8Mapplication/x-gtar-compressed
matita_0.5.8-2+b1_amd64.deb2010-Feb-25 23:54:065.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b1_i386.deb2010-Feb-25 23:54:194.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b1_kfreebsd-amd64.deb2010-Feb-25 22:02:385.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b1_kfreebsd-i386.deb2010-Feb-25 22:02:494.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b1_powerpc.deb2010-Feb-26 10:06:005.6Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b1_sparc.deb2010-Feb-27 16:23:105.6Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b2_armel.deb2010-Mar-05 21:48:2014.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b2_ia64.deb2010-Feb-26 07:37:5114.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b2_mips.deb2010-Mar-05 10:04:4014.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b2_mipsel.deb2010-Feb-28 09:39:4114.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2+b2_s390.deb2010-Feb-28 11:06:2814.8Mapplication/vnd.debian.binary-package
matita_0.5.8-2.diff.gz2009-Dec-04 16:19:115.1Kapplication/gzip
matita_0.5.8-2.dsc2009-Dec-04 16:19:111.6Kapplication/octet-stream
matita_0.5.8.orig.tar.gz2009-Dec-01 23:47:035.6Mapplication/x-gtar-compressed
matita_0.99.1-1.debian.tar.gz2012-May-06 22:36:024.2Kapplication/x-gtar-compressed
matita_0.99.1-1.dsc2012-May-06 22:36:021.5Kapplication/octet-stream
matita_0.99.1-1_amd64.deb2012-May-06 22:36:023.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_armel.deb2012-May-07 09:55:483.6Mapplication/vnd.debian.binary-package
matita_0.99.1-1_armhf.deb2012-May-07 00:49:068.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_i386.deb2012-May-07 00:17:513.3Mapplication/vnd.debian.binary-package
matita_0.99.1-1_ia64.deb2012-May-06 23:18:308.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_kfreebsd-amd64.deb2012-May-07 00:18:013.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_kfreebsd-i386.deb2012-May-06 23:32:073.3Mapplication/vnd.debian.binary-package
matita_0.99.1-1_mips.deb2012-May-07 01:06:388.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_mipsel.deb2012-May-07 07:02:428.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_powerpc.deb2012-May-08 08:36:093.7Mapplication/vnd.debian.binary-package
matita_0.99.1-1_s390.deb2012-May-06 23:18:408.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_s390x.deb2012-May-06 23:18:508.9Mapplication/vnd.debian.binary-package
matita_0.99.1-1_sparc.deb2012-May-07 00:03:043.7Mapplication/vnd.debian.binary-package
matita_0.99.1-3.debian.tar.gz2013-Dec-10 20:44:064.7Kapplication/x-gtar-compressed
matita_0.99.1-3.dsc2013-Dec-10 20:44:061.5Kapplication/octet-stream
matita_0.99.1-3_amd64.deb2013-Dec-10 20:44:062.5Mapplication/vnd.debian.binary-package
matita_0.99.1-3_arm64.deb2014-Oct-20 03:30:156.9Mapplication/vnd.debian.binary-package
matita_0.99.1-3_armel.deb2013-Dec-11 02:00:232.5Mapplication/vnd.debian.binary-package
matita_0.99.1-3_armhf.deb2013-Dec-11 00:45:092.5Mapplication/vnd.debian.binary-package
matita_0.99.1-3_i386.deb2013-Dec-10 21:44:192.4Mapplication/vnd.debian.binary-package
matita_0.99.1-3_kfreebsd-amd64.deb2013-Dec-10 22:14:332.5Mapplication/vnd.debian.binary-package
matita_0.99.1-3_kfreebsd-i386.deb2013-Dec-10 21:59:232.4Mapplication/vnd.debian.binary-package
matita_0.99.1-3_mips.deb2013-Dec-10 23:59:566.9Mapplication/vnd.debian.binary-package
matita_0.99.1-3_mipsel.deb2013-Dec-11 00:30:046.9Mapplication/vnd.debian.binary-package
matita_0.99.1-3_powerpc.deb2013-Dec-10 21:59:272.2Mapplication/vnd.debian.binary-package
matita_0.99.1-3_ppc64el.deb2014-Sep-11 23:09:346.9Mapplication/vnd.debian.binary-package
matita_0.99.1-3_s390x.deb2013-Dec-10 21:59:246.9Mapplication/vnd.debian.binary-package
matita_0.99.1.orig.tar.gz2012-May-06 22:36:029.9Mapplication/x-gtar-compressed
matita_0.99.3-1+b1_amd64.deb2017-Mar-08 02:15:393.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_arm64.deb2017-Mar-08 00:58:283.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_armel.deb2017-Mar-11 22:29:593.2Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_armhf.deb2017-Mar-13 02:44:053.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_i386.deb2017-Mar-08 03:42:163.1Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_mips.deb2017-Mar-08 06:13:578.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_mips64el.deb2017-Mar-08 14:43:268.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_mipsel.deb2017-Mar-08 15:28:398.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_ppc64el.deb2017-Mar-08 11:11:378.4Mapplication/vnd.debian.binary-package
matita_0.99.3-1+b1_s390x.deb2017-Mar-08 02:00:178.3Mapplication/vnd.debian.binary-package
matita_0.99.3-1.debian.tar.xz2016-May-24 21:22:524.2Kapplication/x-xz
matita_0.99.3-1.dsc2016-May-24 21:22:522.1Kapplication/octet-stream
matita_0.99.3.orig.tar.gz2016-May-24 21:22:522.9Mapplication/x-gtar-compressed
Mirrors @ BSKYB