| Name | Size | Modified | |
|---|---|---|---|
| ../ | — | — | |
| matita_0.99.1-3_amd64.deb | 2.4 MB | Dec 23, 2013 | |
| matita_0.99.1-3_i386.deb | 2.3 MB | Dec 23, 2013 | |
| matita_0.99.1-3.debian.tar.gz | 4.7 KB | Dec 11, 2013 | |
| matita_0.99.1-3.dsc | 1.5 KB | Dec 11, 2013 | |
| matita_0.99.1.orig.tar.gz | 9.9 MB | May 17, 2012 |