Sales & Support: 13 66 33
| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| matita-doc_0.5.8-2build2_all.deb | 1229346 | 16-Apr-2010 17:05 |
| matita-standard-library_0.4.98-5_all.deb | 12398386 | 12-Dec-2007 23:04 |
| matita_0.4.98-5.diff.gz | 3979 | 12-Dec-2007 10:04 |
| matita_0.4.98-5.dsc | 1108 | 12-Dec-2007 10:04 |
| matita_0.4.98-5_amd64.deb | 3611038 | 13-Dec-2007 21:03 |
| matita_0.4.98-5_i386.deb | 3277918 | 12-Dec-2007 23:04 |
| matita_0.4.98.orig.tar.gz | 1862669 | 26-Nov-2007 10:03 |
| matita_0.5.8-2build2.diff.gz | 5361 | 16-Apr-2010 17:05 |
| matita_0.5.8-2build2.dsc | 1745 | 16-Apr-2010 17:05 |
| matita_0.5.8-2build2_amd64.deb | 6090184 | 16-Apr-2010 22:05 |
| matita_0.5.8-2build2_i386.deb | 5808566 | 16-Apr-2010 17:05 |
| matita_0.5.8.orig.tar.gz | 5879034 | 22-Mar-2010 20:05 |
