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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
matita_0.99.3-1+b1_armhf.deb 34681842017-Mar-13 02:44
matita_0.99.3-1+b1_armel.deb 33931942017-Mar-11 22:29
matita_0.99.3-1+b1_mipsel.deb 87883782017-Mar-08 15:28
matita_0.99.3-1+b1_mips64el.deb 87927082017-Mar-08 14:43
matita_0.99.3-1+b1_ppc64el.deb 88018202017-Mar-08 11:11
matita_0.99.3-1+b1_mips.deb 87887662017-Mar-08 06:13
matita_0.99.3-1+b1_i386.deb 32698062017-Mar-08 03:42
matita_0.99.3-1+b1_amd64.deb 34557422017-Mar-08 02:15
matita_0.99.3-1+b1_s390x.deb 87879182017-Mar-08 02:00
matita_0.99.3-1+b1_arm64.deb 34690002017-Mar-08 00:58
matita_0.99.3.orig.tar.gz 31456432016-May-24 20:22
matita_0.99.3-1.debian.tar.xz 42962016-May-24 20:22
matita_0.99.3-1.dsc 21672016-May-24 20:22
matita_0.99.1-3_armel.deb 26207802013-Dec-11 02:00
matita_0.99.1-3_armhf.deb 26516422013-Dec-11 00:45
matita_0.99.1-3_i386.deb 25351962013-Dec-10 21:44
matita_0.99.1-3.debian.tar.gz 48482013-Dec-10 20:44
matita_0.99.1-3.dsc 15422013-Dec-10 20:44
matita_0.99.1-3_amd64.deb 26749682013-Dec-10 20:44
matita_0.99.1.orig.tar.gz 103660652012-May-06 21:36