Index of /debian-archive/debian/pool/main/m/matita/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
matita_0.5.3-1.diff.gz 44072008-Jul-24 07:32
matita-standard-library_0.5.3-1_all.deb 126096382008-Jul-24 07:32
matita_0.5.3.orig.tar.gz 19331492008-Jul-24 07:32
matita_0.5.3-1_amd64.deb 36268462008-Jul-24 07:32
matita_0.5.3-1.dsc 16602008-Jul-24 07:32
matita_0.5.3-1_hppa.deb 104314642008-Jul-24 14:02
matita_0.5.3-1_ia64.deb 104332082008-Jul-24 14:02
matita_0.5.3-1_s390.deb 104332542008-Jul-24 15:17
matita_0.5.3-1_armel.deb 104292602008-Jul-24 20:32
matita_0.5.3-1_powerpc.deb 39681262008-Jul-25 02:33
matita_0.5.3-1_i386.deb 32937502008-Jul-25 02:47
matita_0.5.3-1_mipsel.deb 104332162008-Jul-25 02:47
matita_0.5.3-1_sparc.deb 40028262008-Jul-25 16:32
matita_0.5.3-1_arm.deb 104332402008-Jul-27 03:17
matita_0.5.3-1_mips.deb 104332782008-Jul-27 04:47
matita_0.5.3-1_alpha.deb 104305942008-Jul-29 02:17
matita_0.5.8.orig.tar.gz 58790342009-Dec-02 08:47
matita-doc_0.5.8-2_all.deb 16705762009-Dec-05 01:19
matita_0.5.8-2.dsc 17212009-Dec-05 01:19
matita_0.5.8-2.diff.gz 52662009-Dec-05 01:19
matita_0.5.8-2+b1_kfreebsd-amd64.deb 60911522010-Feb-26 07:02
matita_0.5.8-2+b1_kfreebsd-i386.deb 50564442010-Feb-26 07:02
matita_0.5.8-2+b1_amd64.deb 60928642010-Feb-26 08:54
matita_0.5.8-2+b1_i386.deb 50569102010-Feb-26 08:54
matita_0.5.8-2+b2_ia64.deb 155832722010-Feb-26 16:37
matita_0.5.8-2+b1_powerpc.deb 58695502010-Feb-26 19:06
matita_0.5.8-2+b1_sparc.deb 59553402010-Feb-28 01:23
matita_0.5.8-2+b2_mipsel.deb 155821682010-Feb-28 18:39
matita_0.5.8-2+b2_s390.deb 155822082010-Feb-28 20:06
matita_0.5.8-2+b2_mips.deb 155833282010-Mar-05 19:04
matita_0.5.8-2+b2_armel.deb 155821922010-Mar-06 06:48
matita_0.99.1-1.debian.tar.gz 43642012-May-07 06:36
matita_0.99.1.orig.tar.gz 103660652012-May-07 06:36
matita_0.99.1-1_amd64.deb 40979842012-May-07 06:36
matita_0.99.1-1.dsc 15422012-May-07 06:36
matita_0.99.1-1_ia64.deb 93758942012-May-07 07:18
matita_0.99.1-1_s390.deb 93721662012-May-07 07:18
matita_0.99.1-1_s390x.deb 93730422012-May-07 07:18
matita_0.99.1-1_kfreebsd-i386.deb 34530022012-May-07 07:32
matita_0.99.1-1_sparc.deb 39458262012-May-07 08:03
matita_0.99.1-1_i386.deb 34533802012-May-07 08:17
matita_0.99.1-1_kfreebsd-amd64.deb 40993022012-May-07 08:18
matita_0.99.1-1_armhf.deb 93790802012-May-07 08:49
matita_0.99.1-1_mips.deb 93770722012-May-07 09:06
matita_0.99.1-1_mipsel.deb 93787302012-May-07 15:02
matita_0.99.1-1_armel.deb 38623182012-May-07 17:55
matita_0.99.1-1_powerpc.deb 39347922012-May-08 16:36
matita_0.99.1-3.debian.tar.gz 48482013-Dec-11 05:44
matita_0.99.1-3.dsc 15422013-Dec-11 05:44
matita_0.99.1-3_amd64.deb 26749682013-Dec-11 05:44
matita_0.99.1-3_i386.deb 25351962013-Dec-11 06:44
matita_0.99.1-3_kfreebsd-i386.deb 25369482013-Dec-11 06:59
matita_0.99.1-3_s390x.deb 73022162013-Dec-11 06:59
matita_0.99.1-3_powerpc.deb 23733662013-Dec-11 06:59
matita_0.99.1-3_kfreebsd-amd64.deb 26687102013-Dec-11 07:14
matita_0.99.1-3_mips.deb 73018002013-Dec-11 08:59
matita_0.99.1-3_mipsel.deb 72952662013-Dec-11 09:30
matita_0.99.1-3_armhf.deb 26516422013-Dec-11 09:45
matita_0.99.1-3_armel.deb 26207802013-Dec-11 11:00
matita_0.99.1-3_ppc64el.deb 73032062014-Sep-12 07:09
matita_0.99.1-3_arm64.deb 72884122014-Oct-20 11:30
matita_0.99.3-1.debian.tar.xz 42962016-May-25 05:22
matita_0.99.3.orig.tar.gz 31456432016-May-25 05:22
matita_0.99.3-1.dsc 21672016-May-25 05:22
matita_0.99.3-1+b1_arm64.deb 34690002017-Mar-08 09:58
matita_0.99.3-1+b1_s390x.deb 87879182017-Mar-08 11:00
matita_0.99.3-1+b1_amd64.deb 34557422017-Mar-08 11:15
matita_0.99.3-1+b1_i386.deb 32698062017-Mar-08 12:42
matita_0.99.3-1+b1_mips.deb 87887662017-Mar-08 15:13
matita_0.99.3-1+b1_ppc64el.deb 88018202017-Mar-08 20:11
matita_0.99.3-1+b1_mips64el.deb 87927082017-Mar-08 23:43
matita_0.99.3-1+b1_mipsel.deb 87883782017-Mar-09 00:28
matita_0.99.3-1+b1_armel.deb 33931942017-Mar-12 07:29
matita_0.99.3-1+b1_armhf.deb 34681842017-Mar-13 11:44