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

Icon  Name                            Last modified      Size  
[PARENTDIR] Parent Directory - [   ] matita_0.99.1-3.debian.tar.gz 2013-12-10 21:44 4.7K [   ] matita_0.99.1-3.dsc 2013-12-10 21:44 1.5K [   ] matita_0.99.1-3_amd64.deb 2013-12-10 21:44 2.6M [   ] matita_0.99.1-3_armel.deb 2013-12-11 03:00 2.5M [   ] matita_0.99.1-3_armhf.deb 2013-12-11 01:45 2.5M [   ] matita_0.99.1-3_i386.deb 2013-12-10 22:44 2.4M [   ] matita_0.99.1.orig.tar.gz 2012-05-06 23:36 9.9M [   ] matita_0.99.3-1+b1_amd64.deb 2017-03-08 03:15 3.3M [   ] matita_0.99.3-1+b1_arm64.deb 2017-03-08 01:58 3.3M [   ] matita_0.99.3-1+b1_armel.deb 2017-03-11 23:29 3.2M [   ] matita_0.99.3-1+b1_armhf.deb 2017-03-13 03:44 3.3M [   ] matita_0.99.3-1+b1_i386.deb 2017-03-08 04:42 3.1M [   ] matita_0.99.3-1+b1_mips.deb 2017-03-08 07:13 8.4M [   ] matita_0.99.3-1+b1_mips64el.deb 2017-03-08 15:43 8.4M [   ] matita_0.99.3-1+b1_mipsel.deb 2017-03-08 16:28 8.4M [   ] matita_0.99.3-1+b1_ppc64el.deb 2017-03-08 12:11 8.4M [   ] matita_0.99.3-1+b1_s390x.deb 2017-03-08 03:00 8.4M [   ] matita_0.99.3-1+b2_amd64.deb 2017-09-26 20:14 4.3M [   ] matita_0.99.3-1+b2_arm64.deb 2017-09-26 18:59 4.7M [   ] matita_0.99.3-1+b2_i386.deb 2017-09-26 19:14 3.4M [   ] matita_0.99.3-1+b2_mips64el.deb 2017-09-27 06:28 8.4M [   ] matita_0.99.3-1+b2_mipsel.deb 2017-09-27 04:27 8.4M [   ] matita_0.99.3-1+b2_ppc64el.deb 2017-09-26 18:59 4.8M [   ] matita_0.99.3-1+b2_s390x.deb 2017-09-26 18:59 5.0M [   ] matita_0.99.3-1+b3_armel.deb 2017-10-06 19:44 8.4M [   ] matita_0.99.3-1+b3_armhf.deb 2017-10-06 18:29 3.4M [   ] matita_0.99.3-1.debian.tar.xz 2016-05-24 22:22 4.2K [   ] matita_0.99.3-1.dsc 2016-05-24 22:22 2.1K [   ] matita_0.99.3.orig.tar.gz 2016-05-24 22:22 3.0M
Apache/2.4 Server at dewy.fem.tu-ilmenau.de Port 80