Index of /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