CDS Welcome to Capital Online Mirror Site
/debian-archive/debian/pool/main/m/matita/
File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
matita-doc_0.5.8-2_all.deb1.6 MiB2009-Dec-04 16:19
matita-standard-library_0.5.3-1_all.deb12.0 MiB2008-Jul-23 22:32
matita_0.5.3-1.diff.gz4.3 KiB2008-Jul-23 22:32
matita_0.5.3-1.dsc1.6 KiB2008-Jul-23 22:32
matita_0.5.3-1_alpha.deb9.9 MiB2008-Jul-28 17:17
matita_0.5.3-1_amd64.deb3.5 MiB2008-Jul-23 22:32
matita_0.5.3-1_arm.deb9.9 MiB2008-Jul-26 18:17
matita_0.5.3-1_armel.deb9.9 MiB2008-Jul-24 11:32
matita_0.5.3-1_hppa.deb9.9 MiB2008-Jul-24 05:02
matita_0.5.3-1_i386.deb3.1 MiB2008-Jul-24 17:47
matita_0.5.3-1_ia64.deb9.9 MiB2008-Jul-24 05:02
matita_0.5.3-1_mips.deb9.9 MiB2008-Jul-26 19:47
matita_0.5.3-1_mipsel.deb9.9 MiB2008-Jul-24 17:47
matita_0.5.3-1_powerpc.deb3.8 MiB2008-Jul-24 17:33
matita_0.5.3-1_s390.deb9.9 MiB2008-Jul-24 06:17
matita_0.5.3-1_sparc.deb3.8 MiB2008-Jul-25 07:32
matita_0.5.3.orig.tar.gz1.8 MiB2008-Jul-23 22:32
matita_0.5.8-2+b1_amd64.deb5.8 MiB2010-Feb-25 23:54
matita_0.5.8-2+b1_i386.deb4.8 MiB2010-Feb-25 23:54
matita_0.5.8-2+b1_kfreebsd-amd64.deb5.8 MiB2010-Feb-25 22:02
matita_0.5.8-2+b1_kfreebsd-i386.deb4.8 MiB2010-Feb-25 22:02
matita_0.5.8-2+b1_powerpc.deb5.6 MiB2010-Feb-26 10:06
matita_0.5.8-2+b1_sparc.deb5.7 MiB2010-Feb-27 16:23
matita_0.5.8-2+b2_armel.deb14.9 MiB2010-Mar-05 21:48
matita_0.5.8-2+b2_ia64.deb14.9 MiB2010-Feb-26 07:37
matita_0.5.8-2+b2_mips.deb14.9 MiB2010-Mar-05 10:04
matita_0.5.8-2+b2_mipsel.deb14.9 MiB2010-Feb-28 09:39
matita_0.5.8-2+b2_s390.deb14.9 MiB2010-Feb-28 11:06
matita_0.5.8-2.diff.gz5.1 KiB2009-Dec-04 16:19
matita_0.5.8-2.dsc1.7 KiB2009-Dec-04 16:19
matita_0.5.8.orig.tar.gz5.6 MiB2009-Dec-01 23:47
matita_0.99.1-1.debian.tar.gz4.3 KiB2012-May-06 21:36
matita_0.99.1-1.dsc1.5 KiB2012-May-06 21:36
matita_0.99.1-1_amd64.deb3.9 MiB2012-May-06 21:36
matita_0.99.1-1_armel.deb3.7 MiB2012-May-07 08:55
matita_0.99.1-1_armhf.deb8.9 MiB2012-May-06 23:49
matita_0.99.1-1_i386.deb3.3 MiB2012-May-06 23:17
matita_0.99.1-1_ia64.deb8.9 MiB2012-May-06 22:18
matita_0.99.1-1_kfreebsd-amd64.deb3.9 MiB2012-May-06 23:18
matita_0.99.1-1_kfreebsd-i386.deb3.3 MiB2012-May-06 22:32
matita_0.99.1-1_mips.deb8.9 MiB2012-May-07 00:06
matita_0.99.1-1_mipsel.deb8.9 MiB2012-May-07 06:02
matita_0.99.1-1_powerpc.deb3.8 MiB2012-May-08 07:36
matita_0.99.1-1_s390.deb8.9 MiB2012-May-06 22:18
matita_0.99.1-1_s390x.deb8.9 MiB2012-May-06 22:18
matita_0.99.1-1_sparc.deb3.8 MiB2012-May-06 23:03
matita_0.99.1-3.debian.tar.gz4.7 KiB2013-Dec-10 20:44
matita_0.99.1-3.dsc1.5 KiB2013-Dec-10 20:44
matita_0.99.1-3_amd64.deb2.6 MiB2013-Dec-10 20:44
matita_0.99.1-3_arm64.deb7.0 MiB2014-Oct-20 02:30
matita_0.99.1-3_armel.deb2.5 MiB2013-Dec-11 02:00
matita_0.99.1-3_armhf.deb2.5 MiB2013-Dec-11 00:45
matita_0.99.1-3_i386.deb2.4 MiB2013-Dec-10 21:44
matita_0.99.1-3_kfreebsd-amd64.deb2.5 MiB2013-Dec-10 22:14
matita_0.99.1-3_kfreebsd-i386.deb2.4 MiB2013-Dec-10 21:59
matita_0.99.1-3_mips.deb7.0 MiB2013-Dec-10 23:59
matita_0.99.1-3_mipsel.deb7.0 MiB2013-Dec-11 00:30
matita_0.99.1-3_powerpc.deb2.3 MiB2013-Dec-10 21:59
matita_0.99.1-3_ppc64el.deb7.0 MiB2014-Sep-11 22:09
matita_0.99.1-3_s390x.deb7.0 MiB2013-Dec-10 21:59
matita_0.99.1.orig.tar.gz9.9 MiB2012-May-06 21:36
matita_0.99.3-1+b1_amd64.deb3.3 MiB2017-Mar-08 02:15
matita_0.99.3-1+b1_arm64.deb3.3 MiB2017-Mar-08 00:58
matita_0.99.3-1+b1_armel.deb3.2 MiB2017-Mar-11 22:29
matita_0.99.3-1+b1_armhf.deb3.3 MiB2017-Mar-13 02:44
matita_0.99.3-1+b1_i386.deb3.1 MiB2017-Mar-08 03:42
matita_0.99.3-1+b1_mips.deb8.4 MiB2017-Mar-08 06:13
matita_0.99.3-1+b1_mips64el.deb8.4 MiB2017-Mar-08 14:43
matita_0.99.3-1+b1_mipsel.deb8.4 MiB2017-Mar-08 15:28
matita_0.99.3-1+b1_ppc64el.deb8.4 MiB2017-Mar-08 11:11
matita_0.99.3-1+b1_s390x.deb8.4 MiB2017-Mar-08 02:00
matita_0.99.3-1.debian.tar.xz4.2 KiB2016-May-24 20:22
matita_0.99.3-1.dsc2.1 KiB2016-May-24 20:22
matita_0.99.3.orig.tar.gz3.0 MiB2016-May-24 20:22

Powered By Capital Online Data Service LTD.  About US  Contact US