Index of /professional/pool/main/m/matita/
../
matita_0.99.1-3+b1_amd64.deb 27-Jan-2016 00:18 3M
matita_0.99.1-3+b1_i386.deb 27-Jan-2016 00:18 3M
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.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_i386.deb 08-Mar-2017 11:42 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