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

../
matita_0.99.1-1_amd64.deb                          06-May-2012 21:36             4097984
matita_0.99.1-1_i386.deb                           06-May-2012 23:17             3453380
matita_0.99.1-3_amd64.deb                          10-Dec-2013 20:44             2674968
matita_0.99.1-3_arm64.deb                          20-Oct-2014 02:30             7288412
matita_0.99.1-3_i386.deb                           10-Dec-2013 21:44             2535196
matita_0.99.1-3_ppc64el.deb                        11-Sep-2014 22:09             7303206
matita_0.99.3-1.debian.tar.xz                      24-May-2016 20:22                4296
matita_0.99.3-1_amd64.deb                          24-May-2016 20:22             3014938
matita_0.99.3-1_arm64.deb                          24-May-2016 23:18             3057420
matita_0.99.3-1_i386.deb                           24-May-2016 23:19             2945960
matita_0.99.3-1_mips64el.deb                       24-May-2016 23:29             8645056
matita_0.99.3-1_ppc64el.deb                        24-May-2016 23:18             8653014