Apache/2.4.59 (Debian) Server at mirror.freedif.org Port 443Name Last modified Size Description
Parent Directory -
antlr-3.4-complete.jar 2016-08-21 19:23 2.3M
cvc4.SlackBuild 2022-03-11 13:34 3.8K
cvc4.info 2022-06-03 23:32 426
README 2022-06-03 23:32 525
run-antlr 2022-06-03 23:32 67
slack-desc 2022-06-03 23:32 1.0K
CVC4-1.8.tar.gz 2022-06-04 06:54 7.2M