| name | size | date |
|---|---|---|
| matita_0.99.3-1+b1_armhf.deb | 3.31M | 2017-03-13 02:44:05 |
| matita_0.99.3-1+b1_armel.deb | 3.24M | 2017-03-11 22:29:59 |
| matita_0.99.3-1+b1_mipsel.deb | 8.38M | 2017-03-08 15:28:39 |
| matita_0.99.3-1+b1_mips64el.deb | 8.39M | 2017-03-08 14:43:26 |
| matita_0.99.3-1+b1_ppc64el.deb | 8.39M | 2017-03-08 11:11:37 |
| matita_0.99.3-1+b1_mips.deb | 8.38M | 2017-03-08 06:13:57 |
| matita_0.99.3-1+b1_i386.deb | 3.12M | 2017-03-08 03:42:16 |
| matita_0.99.3-1+b1_amd64.deb | 3.30M | 2017-03-08 02:15:39 |
| matita_0.99.3-1+b1_s390x.deb | 8.38M | 2017-03-08 02:00:17 |
| matita_0.99.3-1+b1_arm64.deb | 3.31M | 2017-03-08 00:58:28 |
| matita_0.99.3-1.debian.tar.xz | 4.2K | 2016-05-24 20:22:52 |
| matita_0.99.3-1.dsc | 2.1K | 2016-05-24 20:22:52 |
| matita_0.99.3.orig.tar.gz | 3.00M | 2016-05-24 20:22:52 |
| matita_0.99.1-3_arm64.deb | 6.95M | 2014-10-20 02:30:15 |
| matita_0.99.1-3_ppc64el.deb | 6.96M | 2014-09-11 22:09:34 |
| matita_0.99.1-3_armel.deb | 2.50M | 2013-12-11 02:00:23 |
| matita_0.99.1-3_armhf.deb | 2.53M | 2013-12-11 00:45:09 |
| matita_0.99.1-3_mipsel.deb | 6.96M | 2013-12-11 00:30:04 |
| matita_0.99.1-3_mips.deb | 6.96M | 2013-12-10 23:59:56 |
| matita_0.99.1-3_kfreebsd-amd64.deb | 2.55M | 2013-12-10 22:14:33 |
| matita_0.99.1-3_powerpc.deb | 2.26M | 2013-12-10 21:59:27 |
| matita_0.99.1-3_s390x.deb | 6.96M | 2013-12-10 21:59:24 |
| matita_0.99.1-3_kfreebsd-i386.deb | 2.42M | 2013-12-10 21:59:23 |
| matita_0.99.1-3_i386.deb | 2.42M | 2013-12-10 21:44:19 |
| matita_0.99.1-3.debian.tar.gz | 4.7K | 2013-12-10 20:44:06 |
| matita_0.99.1-3.dsc | 1.5K | 2013-12-10 20:44:06 |
| matita_0.99.1-3_amd64.deb | 2.55M | 2013-12-10 20:44:06 |
| matita_0.99.1-1_powerpc.deb | 3.75M | 2012-05-08 07:36:09 |
| matita_0.99.1-1_armel.deb | 3.68M | 2012-05-07 08:55:48 |
| matita_0.99.1-1_mipsel.deb | 8.94M | 2012-05-07 06:02:42 |
| matita_0.99.1-1_mips.deb | 8.94M | 2012-05-07 00:06:38 |
| matita_0.99.1-1_armhf.deb | 8.94M | 2012-05-06 23:49:06 |
| matita_0.99.1-1_kfreebsd-amd64.deb | 3.91M | 2012-05-06 23:18:01 |
| matita_0.99.1-1_i386.deb | 3.29M | 2012-05-06 23:17:51 |
| matita_0.99.1-1_sparc.deb | 3.76M | 2012-05-06 23:03:04 |
| matita_0.99.1-1_kfreebsd-i386.deb | 3.29M | 2012-05-06 22:32:07 |
| matita_0.99.1-1_s390x.deb | 8.94M | 2012-05-06 22:18:50 |
| matita_0.99.1-1_s390.deb | 8.94M | 2012-05-06 22:18:40 |
| matita_0.99.1-1_ia64.deb | 8.94M | 2012-05-06 22:18:30 |
| matita_0.99.1-1.debian.tar.gz | 4.3K | 2012-05-06 21:36:02 |
| matita_0.99.1-1.dsc | 1.5K | 2012-05-06 21:36:02 |
| matita_0.99.1-1_amd64.deb | 3.91M | 2012-05-06 21:36:02 |
| matita_0.99.1.orig.tar.gz | 9.89M | 2012-05-06 21:36:02 |
| matita_0.5.8-2+b2_armel.deb | 14.86M | 2010-03-05 21:48:20 |
| matita_0.5.8-2+b2_mips.deb | 14.86M | 2010-03-05 10:04:40 |
| matita_0.5.8-2+b2_s390.deb | 14.86M | 2010-02-28 11:06:28 |
| matita_0.5.8-2+b2_mipsel.deb | 14.86M | 2010-02-28 09:39:41 |
| matita_0.5.8-2+b1_sparc.deb | 5.68M | 2010-02-27 16:23:10 |
| matita_0.5.8-2+b1_powerpc.deb | 5.60M | 2010-02-26 10:06:00 |
| matita_0.5.8-2+b2_ia64.deb | 14.86M | 2010-02-26 07:37:51 |
| matita_0.5.8-2+b1_i386.deb | 4.82M | 2010-02-25 23:54:19 |
| matita_0.5.8-2+b1_amd64.deb | 5.81M | 2010-02-25 23:54:06 |
| matita_0.5.8-2+b1_kfreebsd-i386.deb | 4.82M | 2010-02-25 22:02:49 |
| matita_0.5.8-2+b1_kfreebsd-amd64.deb | 5.81M | 2010-02-25 22:02:38 |
| matita-doc_0.5.8-2_all.deb | 1.59M | 2009-12-04 16:19:11 |
| matita_0.5.8-2.diff.gz | 5.1K | 2009-12-04 16:19:11 |
| matita_0.5.8-2.dsc | 1.7K | 2009-12-04 16:19:11 |
| matita_0.5.8.orig.tar.gz | 5.61M | 2009-12-01 23:47:03 |
| matita_0.5.3-1_alpha.deb | 9.95M | 2008-07-28 17:17:07 |
| matita_0.5.3-1_mips.deb | 9.95M | 2008-07-26 19:47:58 |
| matita_0.5.3-1_arm.deb | 9.95M | 2008-07-26 18:17:18 |
| matita_0.5.3-1_sparc.deb | 3.82M | 2008-07-25 07:32:06 |
| matita_0.5.3-1_i386.deb | 3.14M | 2008-07-24 17:47:28 |
| matita_0.5.3-1_mipsel.deb | 9.95M | 2008-07-24 17:47:28 |
| matita_0.5.3-1_powerpc.deb | 3.78M | 2008-07-24 17:33:15 |
| matita_0.5.3-1_armel.deb | 9.95M | 2008-07-24 11:32:02 |
| matita_0.5.3-1_s390.deb | 9.95M | 2008-07-24 06:17:38 |
| matita_0.5.3-1_ia64.deb | 9.95M | 2008-07-24 05:02:39 |
| matita_0.5.3-1_hppa.deb | 9.95M | 2008-07-24 05:02:38 |
| matita-standard-library_0.5.3-1_all.deb | 12.03M | 2008-07-23 22:32:03 |
| matita_0.5.3-1.diff.gz | 4.3K | 2008-07-23 22:32:03 |
| matita_0.5.3-1.dsc | 1.6K | 2008-07-23 22:32:03 |
| matita_0.5.3-1_amd64.deb | 3.46M | 2008-07-23 22:32:03 |
| matita_0.5.3.orig.tar.gz | 1.84M | 2008-07-23 22:32:03 |