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