source: Deliverables/D6.6/cvc3 @ 3234

Name Size Rev Age Author Last Change
../
cvc3-2.4.1-optimized-static 3234   7 years sacerdot Debian packages committed. Some are using git, so you need to clone …
cvc3_2.4.1-1_amd64.deb 6.5 MB 3234   7 years sacerdot Debian packages committed. Some are using git, so you need to clone …
Note: See TracBrowser for help on using the repository browser.