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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
matita_0.99.3-1+b1_armhf.deb 3.31 MiB2017-Mar-13 02:44
matita_0.99.3-1+b1_armel.deb 3.24 MiB2017-Mar-11 22:29
matita_0.99.3-1+b1_mipsel.deb 8.38 MiB2017-Mar-08 15:28
matita_0.99.3-1+b1_mips64el.deb 8.39 MiB2017-Mar-08 14:43
matita_0.99.3-1+b1_ppc64el.deb 8.39 MiB2017-Mar-08 11:11
matita_0.99.3-1+b1_mips.deb 8.38 MiB2017-Mar-08 06:13
matita_0.99.3-1+b1_i386.deb 3.12 MiB2017-Mar-08 03:42
matita_0.99.3-1+b1_amd64.deb 3.30 MiB2017-Mar-08 02:15
matita_0.99.3-1+b1_s390x.deb 8.38 MiB2017-Mar-08 02:00
matita_0.99.3-1+b1_arm64.deb 3.31 MiB2017-Mar-08 00:58
matita_0.99.3-1.debian.tar.xz 4.20 KiB2016-May-24 20:22
matita_0.99.3.orig.tar.gz 3.00 MiB2016-May-24 20:22
matita_0.99.3-1.dsc 2.12 KiB2016-May-24 20:22
matita_0.99.1-3_armel.deb 2.50 MiB2013-Dec-11 02:00
matita_0.99.1-3_armhf.deb 2.53 MiB2013-Dec-11 00:45
matita_0.99.1-3_i386.deb 2.42 MiB2013-Dec-10 21:44
matita_0.99.1-3_amd64.deb 2.55 MiB2013-Dec-10 20:44
matita_0.99.1-3.dsc 1.51 KiB2013-Dec-10 20:44
matita_0.99.1-3.debian.tar.gz 4.73 KiB2013-Dec-10 20:44
matita_0.99.1.orig.tar.gz 9.89 MiB2012-May-06 21:36
Operated by Kasetsart University Bandwidth supported by UniNet