../ matita_0.99.1-1.debian.tar.gz 03-Apr-2019 02:16 4364 matita_0.99.1-1.dsc 03-Apr-2019 02:16 1542 matita_0.99.1-1_amd64.deb 03-Apr-2019 02:26 4097984 matita_0.99.1-1_i386.deb 03-Apr-2019 01:40 3453380 matita_0.99.1-3.debian.tar.gz 03-Oct-2017 12:52 4848 matita_0.99.1-3.dsc 03-Oct-2017 12:52 1542 matita_0.99.1-3_amd64.deb 24-Aug-2017 09:37 2674968 matita_0.99.1-3_i386.deb 24-Aug-2017 09:30 2535196 matita_0.99.1.orig.tar.gz 03-Oct-2017 12:52 10366065