Index of /Linux/Debian/debian/pool/main/m/matita

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 matita-doc_0.5.8-2_all.deb              05-Dec-2009 00:19  1.6M  
 matita-doc_0.5.8-3_all.deb              31-May-2011 17:32  1.2M  
 matita-standard-library_0.5.3-1_all.deb 24-Jul-2008 06:32   12M  
 matita_0.5.3-1.diff.gz                  24-Jul-2008 06:32  4.3K  
 matita_0.5.3-1.dsc                      24-Jul-2008 06:32  1.6K  
 matita_0.5.3-1_alpha.deb                29-Jul-2008 01:17  9.9M  
 matita_0.5.3-1_amd64.deb                24-Jul-2008 06:32  3.5M  
 matita_0.5.3-1_arm.deb                  27-Jul-2008 02:17  9.9M  
 matita_0.5.3-1_armel.deb                24-Jul-2008 19:32  9.9M  
 matita_0.5.3-1_hppa.deb                 24-Jul-2008 13:02  9.9M  
 matita_0.5.3-1_i386.deb                 25-Jul-2008 01:47  3.1M  
 matita_0.5.3-1_ia64.deb                 24-Jul-2008 13:02  9.9M  
 matita_0.5.3-1_mips.deb                 27-Jul-2008 03:47  9.9M  
 matita_0.5.3-1_mipsel.deb               25-Jul-2008 01:47  9.9M  
 matita_0.5.3-1_powerpc.deb              25-Jul-2008 01:33  3.8M  
 matita_0.5.3-1_s390.deb                 24-Jul-2008 14:17  9.9M  
 matita_0.5.3-1_sparc.deb                25-Jul-2008 15:32  3.8M  
 matita_0.5.3.orig.tar.gz                24-Jul-2008 06:32  1.8M  
 matita_0.5.8-2+b1_amd64.deb             26-Feb-2010 07:54  5.8M  
 matita_0.5.8-2+b1_i386.deb              26-Feb-2010 07:54  4.8M  
 matita_0.5.8-2+b1_kfreebsd-amd64.deb    26-Feb-2010 06:02  5.8M  
 matita_0.5.8-2+b1_kfreebsd-i386.deb     26-Feb-2010 06:02  4.8M  
 matita_0.5.8-2+b1_powerpc.deb           26-Feb-2010 18:06  5.6M  
 matita_0.5.8-2+b1_sparc.deb             28-Feb-2010 00:23  5.7M  
 matita_0.5.8-2+b2_armel.deb             06-Mar-2010 05:48   15M  
 matita_0.5.8-2+b2_ia64.deb              26-Feb-2010 15:37   15M  
 matita_0.5.8-2+b2_mips.deb              05-Mar-2010 18:04   15M  
 matita_0.5.8-2+b2_mipsel.deb            28-Feb-2010 17:39   15M  
 matita_0.5.8-2+b2_s390.deb              28-Feb-2010 19:06   15M  
 matita_0.5.8-2.diff.gz                  05-Dec-2009 00:19  5.1K  
 matita_0.5.8-2.dsc                      05-Dec-2009 00:19  1.7K  
 matita_0.5.8-3+b1_amd64.deb             12-Jul-2011 16:53  5.8M  
 matita_0.5.8-3+b1_armel.deb             13-Jul-2011 01:32  5.5M  
 matita_0.5.8-3+b1_hurd-i386.deb         14-Jul-2011 01:47  4.9M  
 matita_0.5.8-3+b1_i386.deb              12-Jul-2011 17:17  4.9M  
 matita_0.5.8-3+b1_kfreebsd-amd64.deb    12-Jul-2011 19:32  5.8M  
 matita_0.5.8-3+b1_kfreebsd-i386.deb     12-Jul-2011 17:32  4.9M  
 matita_0.5.8-3+b1_powerpc.deb           12-Jul-2011 17:18  5.6M  
 matita_0.5.8-3+b1_sparc.deb             12-Jul-2011 18:03  5.7M  
 matita_0.5.8-3+b2_ia64.deb              04-Nov-2011 08:18   15M  
 matita_0.5.8-3+b2_mips.deb              04-Nov-2011 07:21   15M  
 matita_0.5.8-3+b2_mipsel.deb            04-Nov-2011 06:49   15M  
 matita_0.5.8-3+b2_s390.deb              04-Nov-2011 15:18   15M  
 matita_0.5.8-3.debian.tar.gz            31-May-2011 17:32  6.4K  
 matita_0.5.8-3.dsc                      31-May-2011 17:32  2.3K  
 matita_0.5.8-3_armhf.deb                28-Dec-2011 10:48   15M  
 matita_0.5.8.orig.tar.gz                02-Dec-2009 07:47  5.6M