Index of /gnewsense-parkes/gnewsense/pool/main/m/matita

      Name                                     Last modified      Size  Description
Parent Directory - matita-doc_0.5.8-2_all.deb 2009-12-04 16:19 1.6M matita_0.5.8-2+b1_amd64.deb 2010-02-25 23:54 5.8M matita_0.5.8-2+b1_i386.deb 2010-02-25 23:54 4.8M matita_0.5.8-2+b2_mipsel.deb 2010-02-28 09:39 15M matita_0.5.8-2.diff.gz 2009-12-04 16:19 5.1K matita_0.5.8-2.dsc 2009-12-04 16:19 1.7K matita_0.5.8.orig.tar.gz 2009-12-01 23:47 5.6M matita_0.99.1-1.debian.tar.gz 2012-05-06 22:36 4.3K matita_0.99.1-1.dsc 2012-05-06 22:36 1.5K matita_0.99.1-1_amd64.deb 2012-05-06 22:36 3.9M matita_0.99.1-1_i386.deb 2012-05-07 00:17 3.3M matita_0.99.1-1_mipsel.deb 2012-05-07 07:02 8.9M matita_0.99.1.orig.tar.gz 2012-05-06 22:36 9.9M
ftp.heanet.ie