Index of /debian-archive/debian/pool/main/m/matita

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 matita-doc_0.5.8-2_a..> 04-Dec-2009 16:19  1.6M  
 matita-standard-libr..> 23-Jul-2008 22:32   12M  
 matita_0.5.3-1.diff.gz  23-Jul-2008 22:32  4.3K  
 matita_0.5.3-1.dsc      23-Jul-2008 22:32  1.6K  
 matita_0.5.3-1_alpha..> 28-Jul-2008 17:17  9.9M  
 matita_0.5.3-1_amd64..> 23-Jul-2008 22:32  3.5M  
 matita_0.5.3-1_arm.deb  26-Jul-2008 18:17  9.9M  
 matita_0.5.3-1_armel..> 24-Jul-2008 11:32  9.9M  
 matita_0.5.3-1_hppa.deb 24-Jul-2008 05:02  9.9M  
 matita_0.5.3-1_i386.deb 24-Jul-2008 17:47  3.1M  
 matita_0.5.3-1_ia64.deb 24-Jul-2008 05:02  9.9M  
 matita_0.5.3-1_mips.deb 26-Jul-2008 19:47  9.9M  
 matita_0.5.3-1_mipse..> 24-Jul-2008 17:47  9.9M  
 matita_0.5.3-1_power..> 24-Jul-2008 17:33  3.8M  
 matita_0.5.3-1_s390.deb 24-Jul-2008 06:17  9.9M  
 matita_0.5.3-1_sparc..> 25-Jul-2008 07:32  3.8M  
 matita_0.5.3.orig.ta..> 23-Jul-2008 22:32  1.8M  
 matita_0.5.8-2+b1_am..> 25-Feb-2010 23:54  5.8M  
 matita_0.5.8-2+b1_i3..> 25-Feb-2010 23:54  4.8M  
 matita_0.5.8-2+b1_kf..> 25-Feb-2010 22:02  5.8M  
 matita_0.5.8-2+b1_kf..> 25-Feb-2010 22:02  4.8M  
 matita_0.5.8-2+b1_po..> 26-Feb-2010 10:06  5.6M  
 matita_0.5.8-2+b1_sp..> 27-Feb-2010 16:23  5.7M  
 matita_0.5.8-2+b2_ar..> 05-Mar-2010 21:48   15M  
 matita_0.5.8-2+b2_ia..> 26-Feb-2010 07:37   15M  
 matita_0.5.8-2+b2_mi..> 05-Mar-2010 10:04   15M  
 matita_0.5.8-2+b2_mi..> 28-Feb-2010 09:39   15M  
 matita_0.5.8-2+b2_s3..> 28-Feb-2010 11:06   15M  
 matita_0.5.8-2.diff.gz  04-Dec-2009 16:19  5.1K  
 matita_0.5.8-2.dsc      04-Dec-2009 16:19  1.7K  
 matita_0.5.8.orig.ta..> 01-Dec-2009 23:47  5.6M  
 matita_0.99.1-1.debi..> 06-May-2012 21:36  4.3K  
 matita_0.99.1-1.dsc     06-May-2012 21:36  1.5K  
 matita_0.99.1-1_amd6..> 06-May-2012 21:36  3.9M  
 matita_0.99.1-1_arme..> 07-May-2012 08:55  3.7M  
 matita_0.99.1-1_armh..> 06-May-2012 23:49  8.9M  
 matita_0.99.1-1_i386..> 06-May-2012 23:17  3.3M  
 matita_0.99.1-1_ia64..> 06-May-2012 22:18  8.9M  
 matita_0.99.1-1_kfre..> 06-May-2012 23:18  3.9M  
 matita_0.99.1-1_kfre..> 06-May-2012 22:32  3.3M  
 matita_0.99.1-1_mips..> 07-May-2012 00:06  8.9M  
 matita_0.99.1-1_mips..> 07-May-2012 06:02  8.9M  
 matita_0.99.1-1_powe..> 08-May-2012 07:36  3.8M  
 matita_0.99.1-1_s390..> 06-May-2012 22:18  8.9M  
 matita_0.99.1-1_s390..> 06-May-2012 22:18  8.9M  
 matita_0.99.1-1_spar..> 06-May-2012 23:03  3.8M  
 matita_0.99.1-3.debi..> 10-Dec-2013 20:44  4.7K  
 matita_0.99.1-3.dsc     10-Dec-2013 20:44  1.5K  
 matita_0.99.1-3_amd6..> 10-Dec-2013 20:44  2.6M  
 matita_0.99.1-3_arm6..> 20-Oct-2014 02:30  7.0M  
 matita_0.99.1-3_arme..> 11-Dec-2013 02:00  2.5M  
 matita_0.99.1-3_armh..> 11-Dec-2013 00:45  2.5M  
 matita_0.99.1-3_i386..> 10-Dec-2013 21:44  2.4M  
 matita_0.99.1-3_kfre..> 10-Dec-2013 22:14  2.5M  
 matita_0.99.1-3_kfre..> 10-Dec-2013 21:59  2.4M  
 matita_0.99.1-3_mips..> 10-Dec-2013 23:59  7.0M  
 matita_0.99.1-3_mips..> 11-Dec-2013 00:30  7.0M  
 matita_0.99.1-3_powe..> 10-Dec-2013 21:59  2.3M  
 matita_0.99.1-3_ppc6..> 11-Sep-2014 22:09  7.0M  
 matita_0.99.1-3_s390..> 10-Dec-2013 21:59  7.0M  
 matita_0.99.1.orig.t..> 06-May-2012 21:36  9.9M