../ matita_0.99.3-1+b2_amd64.deb 26-Sep-2017 18:14 4557302 matita_0.99.3-1+b2_arm64.deb 26-Sep-2017 16:59 4962646 matita_0.99.3-1+b2_armel.deb 26-Sep-2017 19:25 4076540 matita_0.99.3-1+b2_armhf.deb 26-Sep-2017 22:41 4154482 matita_0.99.3-1+b2_i386.deb 26-Sep-2017 17:14 3595368 matita_0.99.3-1+b3_armel.deb 06-Oct-2017 17:44 8821136 matita_0.99.3-1+b3_armhf.deb 06-Oct-2017 16:29 3570666