Index of /Debian/pool/main/m/matita/
../
matita_0.99.1-3.debian.tar.gz 11-Dec-2013 04:44 4848
matita_0.99.1-3.dsc 11-Dec-2013 04:44 1542
matita_0.99.1-3_amd64.deb 11-Dec-2013 04:44 3M
matita_0.99.1-3_armhf.deb 11-Dec-2013 08:45 3M
matita_0.99.1-3_i386.deb 11-Dec-2013 05:44 2M
matita_0.99.1.orig.tar.gz 07-May-2012 05:36 10M
matita_0.99.3-1+b1_amd64.deb 08-Mar-2017 10:15 3M
matita_0.99.3-1+b1_arm64.deb 08-Mar-2017 08:58 3M
matita_0.99.3-1+b1_armhf.deb 13-Mar-2017 10:44 3M
matita_0.99.3-1+b1_i386.deb 08-Mar-2017 11:42 3M
matita_0.99.3-1+b1_mips64el.deb 08-Mar-2017 22:43 8M
matita_0.99.3-1+b1_ppc64el.deb 08-Mar-2017 19:11 8M
matita_0.99.3-1+b1_s390x.deb 08-Mar-2017 10:00 8M
matita_0.99.3-1+b2_amd64.deb 27-Sep-2017 02:14 4M
matita_0.99.3-1+b2_arm64.deb 27-Sep-2017 00:59 5M
matita_0.99.3-1+b2_i386.deb 27-Sep-2017 01:14 3M
matita_0.99.3-1+b2_mips64el.deb 27-Sep-2017 12:28 8M
matita_0.99.3-1+b2_ppc64el.deb 27-Sep-2017 00:59 5M
matita_0.99.3-1+b2_s390x.deb 27-Sep-2017 00:59 5M
matita_0.99.3-1+b3_armhf.deb 07-Oct-2017 00:29 3M
matita_0.99.3-1.debian.tar.xz 25-May-2016 04:22 4296
matita_0.99.3-1.dsc 25-May-2016 04:22 2167
matita_0.99.3.orig.tar.gz 25-May-2016 04:22 3M