| Parent Directory/ | | - | Directory |
| matita_0.99.1-1.debian.tar.gz | 2012-May-06 23:36:02 | 4.2K | application/x-gzip |
| matita_0.99.1-1.dsc | 2012-May-06 23:36:02 | 1.5K | application/octet-stream |
| matita_0.99.1-1_amd64.deb | 2012-May-06 23:36:02 | 3.9M | application/octet-stream |
| matita_0.99.1-1_armhf.deb | 2012-May-07 01:49:06 | 8.9M | application/octet-stream |
| matita_0.99.1-1_i386.deb | 2012-May-07 01:17:51 | 3.3M | application/octet-stream |
| matita_0.99.1-1_kfreebsd-amd64.deb | 2012-May-07 01:18:01 | 3.9M | application/octet-stream |
| matita_0.99.1-1_kfreebsd-i386.deb | 2012-May-07 00:32:07 | 3.3M | application/octet-stream |
| matita_0.99.1-1_mips.deb | 2012-May-07 02:06:38 | 8.9M | application/octet-stream |
| matita_0.99.1-1_mipsel.deb | 2012-May-07 08:02:42 | 8.9M | application/octet-stream |
| matita_0.99.1-1_powerpc.deb | 2012-May-08 09:36:09 | 3.7M | application/octet-stream |
| matita_0.99.1-3.debian.tar.gz | 2013-Dec-10 21:44:06 | 4.7K | application/x-gzip |
| matita_0.99.1-3.dsc | 2013-Dec-10 21:44:06 | 1.5K | application/octet-stream |
| matita_0.99.1-3_amd64.deb | 2013-Dec-10 21:44:06 | 2.5M | application/octet-stream |
| matita_0.99.1-3_arm64.deb | 2014-Oct-20 04:30:15 | 6.9M | application/octet-stream |
| matita_0.99.1-3_armhf.deb | 2013-Dec-11 01:45:09 | 2.5M | application/octet-stream |
| matita_0.99.1-3_i386.deb | 2013-Dec-10 22:44:19 | 2.4M | application/octet-stream |
| matita_0.99.1-3_kfreebsd-amd64.deb | 2013-Dec-10 23:14:33 | 2.5M | application/octet-stream |
| matita_0.99.1-3_kfreebsd-i386.deb | 2013-Dec-10 22:59:23 | 2.4M | application/octet-stream |
| matita_0.99.1-3_mips.deb | 2013-Dec-11 00:59:56 | 6.9M | application/octet-stream |
| matita_0.99.1-3_mipsel.deb | 2013-Dec-11 01:30:04 | 6.9M | application/octet-stream |
| matita_0.99.1-3_powerpc.deb | 2013-Dec-10 22:59:27 | 2.2M | application/octet-stream |
| matita_0.99.1-3_ppc64el.deb | 2014-Sep-12 00:09:34 | 6.9M | application/octet-stream |
| matita_0.99.1.orig.tar.gz | 2012-May-06 23:36:02 | 9.9M | application/x-gzip |
| matita_0.99.3-1.debian.tar.xz | 2016-May-24 22:22:52 | 4.2K | application/octet-stream |
| matita_0.99.3-1.dsc | 2016-May-24 22:22:52 | 2.1K | application/octet-stream |
| matita_0.99.3-1_amd64.deb | 2016-May-24 22:22:52 | 2.8M | application/octet-stream |
| matita_0.99.3-1_arm64.deb | 2016-May-25 01:18:58 | 2.9M | application/octet-stream |
| matita_0.99.3-1_armhf.deb | 2016-May-25 01:29:07 | 2.8M | application/octet-stream |
| matita_0.99.3-1_i386.deb | 2016-May-25 01:19:02 | 2.8M | application/octet-stream |
| matita_0.99.3-1_kfreebsd-amd64.deb | 2016-May-25 01:19:00 | 2.8M | application/octet-stream |
| matita_0.99.3-1_kfreebsd-i386.deb | 2016-May-25 01:29:04 | 2.8M | application/octet-stream |
| matita_0.99.3-1_mips.deb | 2016-May-25 01:18:58 | 8.2M | application/octet-stream |
| matita_0.99.3-1_mips64el.deb | 2016-May-25 01:29:06 | 8.2M | application/octet-stream |
| matita_0.99.3-1_mipsel.deb | 2016-May-25 01:29:07 | 8.2M | application/octet-stream |
| matita_0.99.3-1_powerpc.deb | 2016-May-25 01:18:57 | 2.6M | application/octet-stream |
| matita_0.99.3-1_ppc64el.deb | 2016-May-25 01:18:54 | 8.2M | application/octet-stream |
| matita_0.99.3.orig.tar.gz | 2016-May-24 22:22:52 | 2.9M | application/x-gzip |