| Parent directory/ | - | - |
| matita-doc_0.5.7-2ubuntu2_all.deb | 1M | 01-Sep-2009 10:05 |
| matita-doc_0.5.8-2build2_all.deb | 1M | 16-Apr-2010 17:05 |
| matita-doc_0.5.8-3_all.deb | 1M | 04-Jun-2011 20:04 |
| matita-standard-library_0.4.98-5_all.deb | 12M | 12-Dec-2007 23:04 |
| matita-standard-library_0.5.2-1_all.deb | 11M | 04-Jul-2008 13:05 |
| matita-standard-library_0.5.3-1_all.deb | 12M | 06-Nov-2008 18:09 |
| matita-standard-library_0.5.7-2ubuntu2_all.deb | 16M | 01-Sep-2009 10:05 |
| matita_0.4.98-5_i386.deb | 3M | 12-Dec-2007 23:04 |
| matita_0.5.2-1_i386.deb | 3M | 04-Jul-2008 13:05 |
| matita_0.5.3-1_i386.deb | 3M | 06-Nov-2008 18:09 |
| matita_0.5.7-2ubuntu2_i386.deb | 5M | 01-Sep-2009 10:05 |
| matita_0.5.8-2build2_i386.deb | 6M | 16-Apr-2010 17:05 |
| matita_0.5.8-3_i386.deb | 5M | 04-Jun-2011 20:04 |
| matita_0.99.1-1_i386.deb | 3M | 17-May-2012 19:34 |