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 02:05 1.2M
matita-doc_0.5.8-3_all.deb 05-Jun-2011 05:04 1.1M
matita-doc_0.5.8-3build1_all.deb 29-Nov-2011 18:04 1.1M
matita-standard-library_0.4.98-5_all.deb 13-Dec-2007 08:04 12M
matita_0.4.98-5.diff.gz 12-Dec-2007 19:04 3.9K
matita_0.4.98-5.dsc 12-Dec-2007 19:04 1.1K
matita_0.4.98-5_amd64.deb 14-Dec-2007 06:03 3.4M
matita_0.4.98-5_i386.deb 13-Dec-2007 08:04 3.1M
matita_0.4.98.orig.tar.gz 26-Nov-2007 19:03 1.8M
matita_0.5.8-2build2.diff.gz 17-Apr-2010 02:05 5.2K
matita_0.5.8-2build2.dsc 17-Apr-2010 02:05 1.7K
matita_0.5.8-2build2_amd64.deb 17-Apr-2010 07:05 5.8M
matita_0.5.8-2build2_i386.deb 17-Apr-2010 02:05 5.5M
matita_0.5.8-3.debian.tar.gz 05-Jun-2011 05:04 6.4K
matita_0.5.8-3.dsc 05-Jun-2011 05:04 1.9K
matita_0.5.8-3_amd64.deb 05-Jun-2011 05:04 5.6M
matita_0.5.8-3_i386.deb 05-Jun-2011 05:04 5.4M
matita_0.5.8-3build1.debian.tar.gz 29-Nov-2011 18:04 6.5K
matita_0.5.8-3build1.dsc 29-Nov-2011 18:04 2.0K
matita_0.5.8-3build1_amd64.deb 29-Nov-2011 18:04 5.7M
matita_0.5.8-3build1_i386.deb 29-Nov-2011 18:05 5.5M
matita_0.5.8.orig.tar.gz 23-Mar-2010 05:05 5.6M
matita_0.99.1-1.debian.tar.gz 17-May-2012 20:33 4.3K
matita_0.99.1-1.dsc 17-May-2012 20:33 1.5K
matita_0.99.1-1_amd64.deb 18-May-2012 05:03 3.8M
matita_0.99.1-1_i386.deb 18-May-2012 04:34 3.2M
matita_0.99.1.orig.tar.gz 17-May-2012 20:33 9.9M