| ../ | | - | Directory |
| matita-doc_0.5.8-2build2_all.deb | 2010-Apr-16 19:05:19 | 1.1M | application/vnd.debian.binary-package |
| matita-doc_0.5.8-3_all.deb | 2011-Jun-04 22:04:46 | 1.0M | application/vnd.debian.binary-package |
| matita-doc_0.5.8-3build1_all.deb | 2011-Nov-29 10:04:35 | 1.0M | application/vnd.debian.binary-package |
| matita_0.5.8-2build2.diff.gz | 2010-Apr-16 19:05:07 | 5.2K | application/gzip |
| matita_0.5.8-2build2.dsc | 2010-Apr-16 19:05:07 | 1.7K | application/octet-stream |
| matita_0.5.8-2build2_amd64.deb | 2010-Apr-17 00:05:55 | 5.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2build2_i386.deb | 2010-Apr-16 19:05:42 | 5.5M | application/vnd.debian.binary-package |
| matita_0.5.8-3.debian.tar.gz | 2011-Jun-04 22:04:40 | 6.4K | application/gzip |
| matita_0.5.8-3.dsc | 2011-Jun-04 22:04:40 | 1.9K | application/octet-stream |
| matita_0.5.8-3_amd64.deb | 2011-Jun-04 22:04:45 | 5.5M | application/vnd.debian.binary-package |
| matita_0.5.8-3_i386.deb | 2011-Jun-04 22:04:57 | 5.4M | application/vnd.debian.binary-package |
| matita_0.5.8-3build1.debian.tar.gz | 2011-Nov-29 10:04:32 | 6.4K | application/gzip |
| matita_0.5.8-3build1.dsc | 2011-Nov-29 10:04:32 | 2.0K | application/octet-stream |
| matita_0.5.8-3build1_amd64.deb | 2011-Nov-29 10:04:35 | 5.7M | application/vnd.debian.binary-package |
| matita_0.5.8-3build1_i386.deb | 2011-Nov-29 10:05:39 | 5.5M | application/vnd.debian.binary-package |
| matita_0.5.8.orig.tar.gz | 2010-Mar-22 21:05:37 | 5.6M | application/gzip |
| matita_0.99.1-1.debian.tar.gz | 2012-May-17 13:33:44 | 4.2K | application/gzip |
| matita_0.99.1-1.dsc | 2012-May-17 13:33:44 | 1.5K | application/octet-stream |
| matita_0.99.1-1_amd64.deb | 2012-May-17 22:03:53 | 3.7M | application/vnd.debian.binary-package |
| matita_0.99.1-1_i386.deb | 2012-May-17 21:34:38 | 3.1M | application/vnd.debian.binary-package |
| matita_0.99.1-2.debian.tar.gz | 2013-Oct-21 15:50:55 | 4.2K | application/gzip |
| matita_0.99.1-2.dsc | 2013-Oct-21 15:50:55 | 1.5K | application/octet-stream |
| matita_0.99.1-2_amd64.deb | 2013-Oct-22 06:53:53 | 3.4M | application/vnd.debian.binary-package |
| matita_0.99.1-2_i386.deb | 2013-Oct-22 13:54:03 | 3.1M | application/vnd.debian.binary-package |
| matita_0.99.1.orig.tar.gz | 2012-May-17 13:33:44 | 9.9M | application/gzip |