| Parent directory/ | - | - |
| matita_0.5.8.orig.tar.gz | 6M | 2010-Mar-22 20:05 |
| matita_0.5.8-3build1.debian.tar.gz | 6627 | 2011-Nov-29 09:04 |
| matita_0.5.8-3build1.dsc | 2072 | 2011-Nov-29 09:04 |
| matita-doc_0.5.8-3build1_all.deb | 1M | 2011-Nov-29 09:04 |
| matita_0.5.8-3build1_amd64.deb | 6M | 2011-Nov-29 09:04 |
| matita_0.5.8-3build1_i386.deb | 6M | 2011-Nov-29 09:05 |
| matita_0.99.1.orig.tar.gz | 10M | 2012-May-17 11:33 |
| matita_0.99.1-3.debian.tar.gz | 4848 | 2013-Dec-11 17:28 |
| matita_0.99.1-3.dsc | 1542 | 2013-Dec-11 17:28 |
| matita_0.99.1-3_amd64.deb | 2M | 2013-Dec-24 00:08 |
| matita_0.99.1-3_i386.deb | 2M | 2013-Dec-24 00:08 |