../ matita_0.99.1-3.debian.tar.gz 10-Dec-2013 17:44 4848 matita_0.99.1-3.dsc 10-Dec-2013 17:44 1542 matita_0.99.1-3_amd64.deb 10-Dec-2013 17:44 2674968 matita_0.99.1.orig.tar.gz 06-May-2012 18:36 10366065 matita_0.99.3-1+b1_amd64.deb 07-Mar-2017 23:15 3455742 matita_0.99.3-1.debian.tar.xz 24-May-2016 17:22 4296 matita_0.99.3-1.dsc 24-May-2016 17:22 2167 matita_0.99.3.orig.tar.gz 24-May-2016 17:22 3145643