| ../ | | - | Directory |
| matita-doc_0.5.8-2_all.deb | 2009-Dec-04 18:19:11 | 1.6M | application/vnd.debian.binary-package |
| matita-standard-library_0.5.3-1_all.deb | 2008-Jul-24 01:32:03 | 12.0M | application/vnd.debian.binary-package |
| matita_0.5.3-1.diff.gz | 2008-Jul-24 01:32:03 | 4.3K | application/gzip |
| matita_0.5.3-1.dsc | 2008-Jul-24 01:32:03 | 1.6K | text/prs.lines.tag |
| matita_0.5.3-1_alpha.deb | 2008-Jul-28 20:17:07 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_amd64.deb | 2008-Jul-24 01:32:03 | 3.4M | application/vnd.debian.binary-package |
| matita_0.5.3-1_arm.deb | 2008-Jul-26 21:17:18 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_armel.deb | 2008-Jul-24 14:32:02 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_hppa.deb | 2008-Jul-24 08:02:38 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_i386.deb | 2008-Jul-24 20:47:28 | 3.1M | application/vnd.debian.binary-package |
| matita_0.5.3-1_ia64.deb | 2008-Jul-24 08:02:39 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_mips.deb | 2008-Jul-26 22:47:58 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_mipsel.deb | 2008-Jul-24 20:47:28 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_powerpc.deb | 2008-Jul-24 20:33:15 | 3.8M | application/vnd.debian.binary-package |
| matita_0.5.3-1_s390.deb | 2008-Jul-24 09:17:38 | 9.9M | application/vnd.debian.binary-package |
| matita_0.5.3-1_sparc.deb | 2008-Jul-25 10:32:06 | 3.8M | application/vnd.debian.binary-package |
| matita_0.5.3.orig.tar.gz | 2008-Jul-24 01:32:03 | 1.8M | application/x-gtar-compressed |
| matita_0.5.8-2+b1_amd64.deb | 2010-Feb-26 01:54:06 | 5.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b1_i386.deb | 2010-Feb-26 01:54:19 | 4.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b1_kfreebsd-amd64.deb | 2010-Feb-26 00:02:38 | 5.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b1_kfreebsd-i386.deb | 2010-Feb-26 00:02:49 | 4.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b1_powerpc.deb | 2010-Feb-26 12:06:00 | 5.6M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b1_sparc.deb | 2010-Feb-27 18:23:10 | 5.6M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b2_armel.deb | 2010-Mar-05 23:48:20 | 14.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b2_ia64.deb | 2010-Feb-26 09:37:51 | 14.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b2_mips.deb | 2010-Mar-05 12:04:40 | 14.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b2_mipsel.deb | 2010-Feb-28 11:39:41 | 14.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2+b2_s390.deb | 2010-Feb-28 13:06:28 | 14.8M | application/vnd.debian.binary-package |
| matita_0.5.8-2.diff.gz | 2009-Dec-04 18:19:11 | 5.1K | application/gzip |
| matita_0.5.8-2.dsc | 2009-Dec-04 18:19:11 | 1.6K | text/prs.lines.tag |
| matita_0.5.8.orig.tar.gz | 2009-Dec-02 01:47:03 | 5.6M | application/x-gtar-compressed |
| matita_0.99.1-1.debian.tar.gz | 2012-May-07 00:36:02 | 4.2K | application/x-gtar-compressed |
| matita_0.99.1-1.dsc | 2012-May-07 00:36:02 | 1.5K | text/prs.lines.tag |
| matita_0.99.1-1_amd64.deb | 2012-May-07 00:36:02 | 3.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_armel.deb | 2012-May-07 11:55:48 | 3.6M | application/vnd.debian.binary-package |
| matita_0.99.1-1_armhf.deb | 2012-May-07 02:49:06 | 8.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_i386.deb | 2012-May-07 02:17:51 | 3.3M | application/vnd.debian.binary-package |
| matita_0.99.1-1_ia64.deb | 2012-May-07 01:18:30 | 8.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_kfreebsd-amd64.deb | 2012-May-07 02:18:01 | 3.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_kfreebsd-i386.deb | 2012-May-07 01:32:07 | 3.3M | application/vnd.debian.binary-package |
| matita_0.99.1-1_mips.deb | 2012-May-07 03:06:38 | 8.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_mipsel.deb | 2012-May-07 09:02:42 | 8.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_powerpc.deb | 2012-May-08 10:36:09 | 3.7M | application/vnd.debian.binary-package |
| matita_0.99.1-1_s390.deb | 2012-May-07 01:18:40 | 8.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_s390x.deb | 2012-May-07 01:18:50 | 8.9M | application/vnd.debian.binary-package |
| matita_0.99.1-1_sparc.deb | 2012-May-07 02:03:04 | 3.7M | application/vnd.debian.binary-package |
| matita_0.99.1-3.debian.tar.gz | 2013-Dec-10 22:44:06 | 4.7K | application/x-gtar-compressed |
| matita_0.99.1-3.dsc | 2013-Dec-10 22:44:06 | 1.5K | text/prs.lines.tag |
| matita_0.99.1-3_amd64.deb | 2013-Dec-10 22:44:06 | 2.5M | application/vnd.debian.binary-package |
| matita_0.99.1-3_arm64.deb | 2014-Oct-20 05:30:15 | 6.9M | application/vnd.debian.binary-package |
| matita_0.99.1-3_armel.deb | 2013-Dec-11 04:00:23 | 2.5M | application/vnd.debian.binary-package |
| matita_0.99.1-3_armhf.deb | 2013-Dec-11 02:45:09 | 2.5M | application/vnd.debian.binary-package |
| matita_0.99.1-3_i386.deb | 2013-Dec-10 23:44:19 | 2.4M | application/vnd.debian.binary-package |
| matita_0.99.1-3_kfreebsd-amd64.deb | 2013-Dec-11 00:14:33 | 2.5M | application/vnd.debian.binary-package |
| matita_0.99.1-3_kfreebsd-i386.deb | 2013-Dec-10 23:59:23 | 2.4M | application/vnd.debian.binary-package |
| matita_0.99.1-3_mips.deb | 2013-Dec-11 01:59:56 | 6.9M | application/vnd.debian.binary-package |
| matita_0.99.1-3_mipsel.deb | 2013-Dec-11 02:30:04 | 6.9M | application/vnd.debian.binary-package |
| matita_0.99.1-3_powerpc.deb | 2013-Dec-10 23:59:27 | 2.2M | application/vnd.debian.binary-package |
| matita_0.99.1-3_ppc64el.deb | 2014-Sep-12 01:09:34 | 6.9M | application/vnd.debian.binary-package |
| matita_0.99.1-3_s390x.deb | 2013-Dec-10 23:59:24 | 6.9M | application/vnd.debian.binary-package |
| matita_0.99.1.orig.tar.gz | 2012-May-07 00:36:02 | 9.9M | application/x-gtar-compressed |
| matita_0.99.3-1+b1_amd64.deb | 2017-Mar-08 04:15:39 | 3.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_arm64.deb | 2017-Mar-08 02:58:28 | 3.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_armel.deb | 2017-Mar-12 00:29:59 | 3.2M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_armhf.deb | 2017-Mar-13 04:44:05 | 3.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_i386.deb | 2017-Mar-08 05:42:16 | 3.1M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_mips.deb | 2017-Mar-08 08:13:57 | 8.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_mips64el.deb | 2017-Mar-08 16:43:26 | 8.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_mipsel.deb | 2017-Mar-08 17:28:39 | 8.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_ppc64el.deb | 2017-Mar-08 13:11:37 | 8.4M | application/vnd.debian.binary-package |
| matita_0.99.3-1+b1_s390x.deb | 2017-Mar-08 04:00:17 | 8.3M | application/vnd.debian.binary-package |
| matita_0.99.3-1.debian.tar.xz | 2016-May-24 23:22:52 | 4.2K | application/x-xz |
| matita_0.99.3-1.dsc | 2016-May-24 23:22:52 | 2.1K | text/prs.lines.tag |
| matita_0.99.3.orig.tar.gz | 2016-May-24 23:22:52 | 2.9M | application/x-gtar-compressed |