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

Name Last Modified Size Type
Parent Directory  Directory
matita_0.99.3-1.debian.tar.xz2016-Dec-29 13:53:214.2K application/octet-stream
matita_0.99.3-1.dsc2016-Dec-29 13:53:212.1K application/octet-stream
matita_0.99.3-1_amd64.deb2016-Dec-29 14:28:253.2M application/octet-stream
matita_0.99.3-1_i386.deb2016-Dec-29 14:28:302.7M application/octet-stream
matita_0.99.3.orig.tar.gz2016-Dec-29 13:53:213M application/x-gzip