Index of /ubuntu/pool/universe/m/matita/
| Name | Last Modified | Size |
|---|---|---|
 Parent Directory | ||
![[CMP]](/_autoindex/assets/icons/file.svg){kind=icon} matita_0.99.1-3.debian.tar.gz | 11-12-2013 17:28 | 8k |
| matita_0.99.1-3.dsc | 11-12-2013 17:28 | 4k |
| matita_0.99.1-3_amd64.deb | 24-12-2013 00:08 | 2500k |
| matita_0.99.1-3_i386.deb | 24-12-2013 00:08 | 2376k |
| matita_0.99.1.orig.tar.gz | 17-05-2012 11:33 | 10124k |