../ matita_0.99.1-1.debian.tar.gz 06-May-2012 21:36 4364 matita_0.99.1-1.dsc 06-May-2012 21:36 1542 matita_0.99.1-1_armhf.deb 29-May-2012 15:11 9374898 matita_0.99.1-2.debian.tar.gz 02-Oct-2013 12:12 4329 matita_0.99.1-2.dsc 02-Oct-2013 12:12 1542 matita_0.99.1-2_armhf.deb 13-Oct-2013 18:03 9370144 matita_0.99.1.orig.tar.gz 06-May-2012 21:36 10366065