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

Name Last Modified Size Type
Parent Directory  Directory
matita-doc_0.5.8-2build2_all.deb2010-Apr-16 13:05:191.2M application/octet-stream
matita-doc_0.5.8-3_all.deb2011-Jun-04 16:04:461.1M application/octet-stream
matita-doc_0.5.8-3build1_all.deb2011-Nov-29 04:04:351.1M application/octet-stream
matita-standard-library_0.4.98-5_all.deb2007-Dec-12 18:04:1311.8M application/octet-stream
matita_0.4.98-5.diff.gz2007-Dec-12 05:04:203.9K application/x-gzip
matita_0.4.98-5.dsc2007-Dec-12 05:04:211.1K application/octet-stream
matita_0.4.98-5_amd64.deb2007-Dec-13 16:03:533.4M application/octet-stream
matita_0.4.98-5_i386.deb2007-Dec-12 18:04:143.1M application/octet-stream
matita_0.4.98.orig.tar.gz2007-Nov-26 05:03:451.8M application/x-gzip
matita_0.5.8-2build2.diff.gz2010-Apr-16 13:05:075.2K application/x-gzip
matita_0.5.8-2build2.dsc2010-Apr-16 13:05:071.7K application/octet-stream
matita_0.5.8-2build2_amd64.deb2010-Apr-16 18:05:555.8M application/octet-stream
matita_0.5.8-2build2_i386.deb2010-Apr-16 13:05:425.5M application/octet-stream
matita_0.5.8-3.debian.tar.gz2011-Jun-04 16:04:406.4K application/x-gzip
matita_0.5.8-3.dsc2011-Jun-04 16:04:401.9K application/octet-stream
matita_0.5.8-3_amd64.deb2011-Jun-04 16:04:455.6M application/octet-stream
matita_0.5.8-3_i386.deb2011-Jun-04 16:04:575.4M application/octet-stream
matita_0.5.8-3build1.debian.tar.gz2011-Nov-29 04:04:326.5K application/x-gzip
matita_0.5.8-3build1.dsc2011-Nov-29 04:04:322K application/octet-stream
matita_0.5.8-3build1_amd64.deb2011-Nov-29 04:04:355.7M application/octet-stream
matita_0.5.8-3build1_i386.deb2011-Nov-29 04:05:395.5M application/octet-stream
matita_0.5.8.orig.tar.gz2010-Mar-22 16:05:375.6M application/x-gzip
matita_0.99.1-1.debian.tar.gz2012-May-17 07:33:444.3K application/x-gzip
matita_0.99.1-1.dsc2012-May-17 07:33:441.5K application/octet-stream
matita_0.99.1-1_amd64.deb2012-May-17 16:03:533.8M application/octet-stream
matita_0.99.1-1_i386.deb2012-May-17 15:34:383.2M application/octet-stream
matita_0.99.1.orig.tar.gz2012-May-17 07:33:449.9M application/x-gzip