Index of /pub/01_repos/slackbuilds/academic/cvc4/

../
README                                             19-Jun-2023 20:03                 525
cvc4.SlackBuild                                    19-Jun-2023 20:03                3860
cvc4.info                                          19-Jun-2023 20:03                 426
run-antlr                                          19-Jun-2023 20:03                  67
slack-desc                                         19-Jun-2023 20:03                1025