| Parent Directory | | | Directory |
| matita-doc_0.5.8-2build2_all.deb | 2010-Apr-16 13:05:19 | 1.2M | application/octet-stream |
| matita-doc_0.5.8-3_all.deb | 2011-Jun-04 16:04:46 | 1.1M | application/octet-stream |
| matita-doc_0.5.8-3build1_all.deb | 2011-Nov-29 04:04:35 | 1.1M | application/octet-stream |
| matita-standard-library_0.4.98-5_all.deb | 2007-Dec-12 18:04:13 | 11.8M | application/octet-stream |
| matita_0.4.98-5.diff.gz | 2007-Dec-12 05:04:20 | 3.9K | application/x-gzip |
| matita_0.4.98-5.dsc | 2007-Dec-12 05:04:21 | 1.1K | application/octet-stream |
| matita_0.4.98-5_amd64.deb | 2007-Dec-13 16:03:53 | 3.4M | application/octet-stream |
| matita_0.4.98-5_i386.deb | 2007-Dec-12 18:04:14 | 3.1M | application/octet-stream |
| matita_0.4.98.orig.tar.gz | 2007-Nov-26 05:03:45 | 1.8M | application/x-gzip |
| matita_0.5.8-2build2.diff.gz | 2010-Apr-16 13:05:07 | 5.2K | application/x-gzip |
| matita_0.5.8-2build2.dsc | 2010-Apr-16 13:05:07 | 1.7K | application/octet-stream |
| matita_0.5.8-2build2_amd64.deb | 2010-Apr-16 18:05:55 | 5.8M | application/octet-stream |
| matita_0.5.8-2build2_i386.deb | 2010-Apr-16 13:05:42 | 5.5M | application/octet-stream |
| matita_0.5.8-3.debian.tar.gz | 2011-Jun-04 16:04:40 | 6.4K | application/x-gzip |
| matita_0.5.8-3.dsc | 2011-Jun-04 16:04:40 | 1.9K | application/octet-stream |
| matita_0.5.8-3_amd64.deb | 2011-Jun-04 16:04:45 | 5.6M | application/octet-stream |
| matita_0.5.8-3_i386.deb | 2011-Jun-04 16:04:57 | 5.4M | application/octet-stream |
| matita_0.5.8-3build1.debian.tar.gz | 2011-Nov-29 04:04:32 | 6.5K | application/x-gzip |
| matita_0.5.8-3build1.dsc | 2011-Nov-29 04:04:32 | 2K | application/octet-stream |
| matita_0.5.8-3build1_amd64.deb | 2011-Nov-29 04:04:35 | 5.7M | application/octet-stream |
| matita_0.5.8-3build1_i386.deb | 2011-Nov-29 04:05:39 | 5.5M | application/octet-stream |
| matita_0.5.8.orig.tar.gz | 2010-Mar-22 16:05:37 | 5.6M | application/x-gzip |
| matita_0.99.1-1.debian.tar.gz | 2012-May-17 07:33:44 | 4.3K | application/x-gzip |
| matita_0.99.1-1.dsc | 2012-May-17 07:33:44 | 1.5K | application/octet-stream |
| matita_0.99.1-1_amd64.deb | 2012-May-17 16:03:53 | 3.8M | application/octet-stream |
| matita_0.99.1-1_i386.deb | 2012-May-17 15:34:38 | 3.2M | application/octet-stream |
| matita_0.99.1.orig.tar.gz | 2012-May-17 07:33:44 | 9.9M | application/x-gzip |