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-3build1_all.deb2011-Nov-29 04:04:351.1M application/octet-stream
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-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-3.debian.tar.gz2013-Dec-11 12:28:464.7K application/x-gzip
matita_0.99.1-3.dsc2013-Dec-11 12:28:461.5K application/octet-stream
matita_0.99.1-3_amd64.deb2013-Dec-23 19:08:282.4M application/octet-stream
matita_0.99.1-3_i386.deb2013-Dec-23 19:08:342.3M application/octet-stream
matita_0.99.1.orig.tar.gz2012-May-17 07:33:449.9M application/x-gzip