| Parent directory/ | - | - |
| matita-doc_0.5.8-2_all.deb | 1.6 MiB | 2009-Dec-04 16:19 |
| matita-standard-library_0.5.3-1_all.deb | 12.0 MiB | 2008-Jul-23 22:32 |
| matita_0.5.3-1.diff.gz | 4.3 KiB | 2008-Jul-23 22:32 |
| matita_0.5.3-1.dsc | 1.6 KiB | 2008-Jul-23 22:32 |
| matita_0.5.3-1_amd64.deb | 3.5 MiB | 2008-Jul-23 22:32 |
| matita_0.5.3-1_arm.deb | 9.9 MiB | 2008-Jul-26 18:17 |
| matita_0.5.3.orig.tar.gz | 1.8 MiB | 2008-Jul-23 22:32 |
| matita_0.5.8-2+b1_amd64.deb | 5.8 MiB | 2010-Feb-25 23:54 |
| matita_0.5.8-2.diff.gz | 5.1 KiB | 2009-Dec-04 16:19 |
| matita_0.5.8-2.dsc | 1.7 KiB | 2009-Dec-04 16:19 |
| matita_0.5.8.orig.tar.gz | 5.6 MiB | 2009-Dec-01 23:47 |
| matita_0.99.1-1.debian.tar.gz | 4.3 KiB | 2012-May-06 21:36 |
| matita_0.99.1-1.dsc | 1.5 KiB | 2012-May-06 21:36 |
| matita_0.99.1-1_amd64.deb | 3.9 MiB | 2012-May-06 21:36 |
| matita_0.99.1-3.debian.tar.gz | 4.7 KiB | 2013-Dec-10 20:44 |
| matita_0.99.1-3.dsc | 1.5 KiB | 2013-Dec-10 20:44 |
| matita_0.99.1-3_amd64.deb | 2.6 MiB | 2013-Dec-10 20:44 |
| matita_0.99.1-3_arm64.deb | 7.0 MiB | 2014-Oct-20 02:30 |
| matita_0.99.1-3_ppc64el.deb | 7.0 MiB | 2014-Sep-11 22:09 |
| matita_0.99.1.orig.tar.gz | 9.9 MiB | 2012-May-06 21:36 |
| matita_0.99.3-1+b1_amd64.deb | 3.3 MiB | 2017-Mar-08 02:15 |
| matita_0.99.3-1+b1_arm64.deb | 3.3 MiB | 2017-Mar-08 00:58 |
| matita_0.99.3-1+b1_mips64el.deb | 8.4 MiB | 2017-Mar-08 14:43 |
| matita_0.99.3-1+b1_ppc64el.deb | 8.4 MiB | 2017-Mar-08 11:11 |
| matita_0.99.3-1.debian.tar.xz | 4.2 KiB | 2016-May-24 20:22 |
| matita_0.99.3-1.dsc | 2.1 KiB | 2016-May-24 20:22 |
| matita_0.99.3.orig.tar.gz | 3.0 MiB | 2016-May-24 20:22 |