../ CVC4-1.8.tar.gz 03-Jun-2022 22:54 7547187 README 03-Jun-2022 15:32 525 antlr-3.4-complete.jar 21-Aug-2016 11:23 2388361 cvc4.SlackBuild 11-Mar-2022 05:34 3860 cvc4.info 03-Jun-2022 15:32 426 run-antlr 03-Jun-2022 15:32 67 slack-desc 03-Jun-2022 15:32 1025