| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 matita_0.99.1-3.debian.tar.gz | 4848 bytes | 2013-12-11 21:28:46 |
| 📄 matita_0.99.1-3.dsc | 1542 bytes | 2013-12-11 21:28:46 |
| 📄 matita_0.99.1-3_amd64.deb | 2557946 bytes | 2013-12-24 04:08:28 |
| 📄 matita_0.99.1-3_i386.deb | 2431800 bytes | 2013-12-24 04:08:34 |
| 📄 matita_0.99.1.orig.tar.gz | 10366065 bytes | 2012-05-17 15:33:44 |