Index of /ubuntu/pool/universe/m/matita

Icon  Name                                     Last modified      Size  Description
[DIR] Parent Directory - [   ] matita_0.4.98.orig.tar.gz 26-Nov-2007 18:03 1.8M [   ] matita_0.4.98-5.diff.gz 12-Dec-2007 18:04 3.9K [TXT] matita_0.4.98-5.dsc 12-Dec-2007 18:04 1.1K [   ] matita-standard-library_0.4.98-5_all.deb 13-Dec-2007 07:04 12M [   ] matita_0.4.98-5_i386.deb 13-Dec-2007 07:04 3.1M [   ] matita_0.4.98-5_amd64.deb 14-Dec-2007 05:03 3.4M [   ] matita_0.5.8.orig.tar.gz 23-Mar-2010 04:05 5.6M [   ] matita_0.5.8-2build2.diff.gz 17-Apr-2010 01:05 5.2K [TXT] matita_0.5.8-2build2.dsc 17-Apr-2010 01:05 1.7K [   ] matita-doc_0.5.8-2build2_all.deb 17-Apr-2010 01:05 1.2M [   ] matita_0.5.8-2build2_i386.deb 17-Apr-2010 01:05 5.5M [   ] matita_0.5.8-2build2_amd64.deb 17-Apr-2010 06:05 5.8M [   ] matita_0.5.8-3.debian.tar.gz 05-Jun-2011 04:04 6.4K [TXT] matita_0.5.8-3.dsc 05-Jun-2011 04:04 1.9K [   ] matita_0.5.8-3_amd64.deb 05-Jun-2011 04:04 5.6M [   ] matita-doc_0.5.8-3_all.deb 05-Jun-2011 04:04 1.1M [   ] matita_0.5.8-3_i386.deb 05-Jun-2011 04:04 5.4M [   ] matita_0.5.8-3build1.debian.tar.gz 29-Nov-2011 17:04 6.5K [TXT] matita_0.5.8-3build1.dsc 29-Nov-2011 17:04 2.0K [   ] matita-doc_0.5.8-3build1_all.deb 29-Nov-2011 17:04 1.1M [   ] matita_0.5.8-3build1_amd64.deb 29-Nov-2011 17:04 5.7M [   ] matita_0.5.8-3build1_i386.deb 29-Nov-2011 17:05 5.5M [   ] matita_0.99.1-1.debian.tar.gz 17-May-2012 19:33 4.3K [TXT] matita_0.99.1-1.dsc 17-May-2012 19:33 1.5K [   ] matita_0.99.1.orig.tar.gz 17-May-2012 19:33 9.9M [   ] matita_0.99.1-1_i386.deb 18-May-2012 03:34 3.2M [   ] matita_0.99.1-1_amd64.deb 18-May-2012 04:03 3.8M
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80