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

NameLast ModifiedSizeType
../ -  Directory
matita_0.99.1-3.debian.tar.gz2013-Dec-11 12:28:464.7Kapplication/x-gtar-compressed
matita_0.99.1-3.dsc2013-Dec-11 12:28:461.5Kapplication/octet-stream
matita_0.99.1-3_amd64.deb2013-Dec-23 19:08:282.4Mapplication/vnd.debian.binary-package
matita_0.99.1-3_i386.deb2013-Dec-23 19:08:342.3Mapplication/vnd.debian.binary-package
matita_0.99.1.orig.tar.gz2012-May-17 07:33:449.9Mapplication/x-gtar-compressed
lighttpd/1.4.53