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

NameLast ModifiedSizeType
../ -  Directory
matita_0.99.1-3.debian.tar.gz2013-Dec-11 18:28:464.7Kapplication/x-gtar-compressed
matita_0.99.1-3.dsc2013-Dec-11 18:28:461.5Ktext/prs.lines.tag
matita_0.99.1-3_amd64.deb2013-Dec-24 01:08:282.4Mapplication/vnd.debian.binary-package
matita_0.99.1-3_i386.deb2013-Dec-24 01:08:342.3Mapplication/vnd.debian.binary-package
matita_0.99.1.orig.tar.gz2012-May-17 13:33:449.9Mapplication/x-gtar-compressed
lighttpd/1.4.59