../ | | - | Directory |
matita_0.99.3-1+b2_amd64.deb | 2017-Sep-27 01:14:49 | 4.3M | application/vnd.debian.binary-package |
matita_0.99.3-1+b2_arm64.deb | 2017-Sep-26 23:59:11 | 4.7M | application/vnd.debian.binary-package |
matita_0.99.3-1+b2_armel.deb | 2017-Sep-27 02:25:25 | 3.9M | application/vnd.debian.binary-package |
matita_0.99.3-1+b2_armhf.deb | 2017-Sep-27 05:41:28 | 3.9M | application/vnd.debian.binary-package |
matita_0.99.3-1+b2_i386.deb | 2017-Sep-27 00:14:21 | 3.4M | application/vnd.debian.binary-package |
matita_0.99.3-1+b3_armel.deb | 2017-Oct-07 00:44:25 | 8.4M | application/vnd.debian.binary-package |
matita_0.99.3-1+b3_armhf.deb | 2017-Oct-06 23:29:15 | 3.4M | application/vnd.debian.binary-package |