| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| matita-doc_0.5.8-2_all.deb | 2M | 04-Dec-2009 16:19 |
| matita-standard-library_0.5.3-1_all.deb | 12M | 23-Jul-2008 22:32 |
| matita_0.5.3-1_amd64.deb | 3M | 23-Jul-2008 22:32 |
| matita_0.5.3-1_i386.deb | 3M | 24-Jul-2008 17:47 |
| matita_0.5.8-2+b1_amd64.deb | 6M | 25-Feb-2010 23:54 |
| matita_0.5.8-2+b1_i386.deb | 5M | 25-Feb-2010 23:54 |