source: Deliverables/D6.6/matita

Name Size Rev Age Author Last Change
../
matita_0.99.2-1.debian.tar.gz 4.2 KB 3241   6 years sacerdot Debian package for matita_0.99.2
matita_0.99.2-1.dsc 1.3 KB 3241   6 years sacerdot Debian package for matita_0.99.2
matita_0.99.2-1_amd64.build 64.5 KB 3241   6 years sacerdot Debian package for matita_0.99.2
matita_0.99.2-1_amd64.changes 1.5 KB 3241   6 years sacerdot Debian package for matita_0.99.2
matita_0.99.2-1_amd64.deb 4.3 MB 3241   6 years sacerdot Debian package for matita_0.99.2
matita_0.99.2.orig.tar.gz 2.2 MB 3241   6 years sacerdot Debian package for matita_0.99.2
README 63 bytes 3241   6 years sacerdot Debian package for matita_0.99.2
Note: See TracBrowser for help on using the repository browser.