Index of /ubuntu/pool/universe/m/matita
Name Last modified Size Description
Parent Directory -
matita-doc_0.5.8-2build2_all.deb 17-Apr-2010 01:05 1.2M
matita-doc_0.5.8-3_all.deb 05-Jun-2011 04:04 1.1M
matita-doc_0.5.8-3build1_all.deb 29-Nov-2011 17:04 1.1M
matita-standard-library_0.4.98-5_all.deb 13-Dec-2007 07:04 12M
matita_0.4.98-5.diff.gz 12-Dec-2007 18:04 3.9K
matita_0.4.98-5.dsc 12-Dec-2007 18:04 1.1K
matita_0.4.98-5_amd64.deb 14-Dec-2007 05:03 3.4M
matita_0.4.98-5_i386.deb 13-Dec-2007 07:04 3.1M
matita_0.4.98.orig.tar.gz 26-Nov-2007 18:03 1.8M
matita_0.5.8-2build2.diff.gz 17-Apr-2010 01:05 5.2K
matita_0.5.8-2build2.dsc 17-Apr-2010 01:05 1.7K
matita_0.5.8-2build2_amd64.deb 17-Apr-2010 06:05 5.8M
matita_0.5.8-2build2_i386.deb 17-Apr-2010 01:05 5.5M
matita_0.5.8-3.debian.tar.gz 05-Jun-2011 04:04 6.4K
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_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
matita_0.5.8-3build1.dsc 29-Nov-2011 17:04 2.0K
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.5.8.orig.tar.gz 23-Mar-2010 04:05 5.6M
matita_0.99.1-1.debian.tar.gz 17-May-2012 19:33 4.3K
matita_0.99.1-1.dsc 17-May-2012 19:33 1.5K
matita_0.99.1-1_amd64.deb 18-May-2012 04:03 3.8M
matita_0.99.1-1_i386.deb 18-May-2012 03:34 3.2M
matita_0.99.1.orig.tar.gz 17-May-2012 19:33 9.9M
Microsoft-IIS/10.0 Server at ftp.twaren.net Port 80