File Name ↓ | File Size ↓ | Date ↓ | |
---|---|---|---|
Parent directory/ | - | - | |
matita_0.99.3-1+b3_armhf.deb | 3.4 MiB | 2017-Oct-06 16:29 | |
matita_0.99.3-1+b2_i386.deb | 3.4 MiB | 2017-Sep-26 17:14 | |
matita_0.99.3-1+b2_armel.deb | 3.9 MiB | 2017-Sep-26 19:25 | |
matita_0.99.3-1+b2_armhf.deb | 4.0 MiB | 2017-Sep-26 22:41 | |
matita_0.99.3-1+b2_amd64.deb | 4.3 MiB | 2017-Sep-26 18:14 | |
matita_0.99.3-1+b2_arm64.deb | 4.7 MiB | 2017-Sep-26 16:59 | |
matita_0.99.3-1+b3_armel.deb | 8.4 MiB | 2017-Oct-06 17:44 |