| Parent directory/ | - | - |
| matita_0.5.3-1_ia64.deb | 10M | 24-Jul-2008 05:02 |
| matita_0.5.3-1_mips.deb | 10M | 26-Jul-2008 19:47 |
| matita_0.5.3-1_sparc.deb | 4M | 25-Jul-2008 07:32 |
| matita_0.5.8-2+b1_sparc.deb | 6M | 27-Feb-2010 16:23 |
| matita_0.5.8-2+b2_ia64.deb | 15M | 26-Feb-2010 07:37 |
| matita_0.5.8-2+b2_mips.deb | 15M | 05-Mar-2010 10:04 |
| matita_0.5.8-3_ia64.deb | 15M | 31-May-2011 18:19 |
| matita_0.5.8-3_mips.deb | 15M | 31-May-2011 10:18 |
| matita_0.99.1-1_armel.deb | 4M | 07-May-2012 08:55 |
| matita_0.99.1-1_armhf.deb | 9M | 06-May-2012 23:49 |
| matita_0.99.1-1_s390x.deb | 9M | 06-May-2012 22:18 |
| matita_0.99.1-3+b1_armel.deb | 3M | 26-Jan-2016 16:18 |
| matita_0.99.1-3+b1_armhf.deb | 3M | 26-Jan-2016 16:18 |
| matita_0.99.1-3+b1_mips64el.deb | 7M | 27-Jan-2016 14:52 |
| matita_0.99.1-3+b1_ppc64el.deb | 7M | 26-Jan-2016 16:18 |
| matita_0.99.1-3+b1_s390x.deb | 7M | 26-Jan-2016 16:18 |
| matita_0.99.1-3_armel.deb | 2M | 11-Dec-2013 02:00 |
| matita_0.99.1-3_armhf.deb | 3M | 11-Dec-2013 00:45 |
| matita_0.99.1-3_ppc64el.deb | 7M | 11-Sep-2014 22:09 |
| matita_0.99.1-3_s390x.deb | 7M | 10-Dec-2013 21:59 |