PRGNAM="cvc4" VERSION="1.8" HOMEPAGE="https://cvc4.cs.stanford.edu/" DOWNLOAD="https://ponce.cc/slackware/sources/repo/CVC4-1.8.tar.gz \ https://www.antlr3.org/download/antlr-3.4-complete.jar" MD5SUM="9f7657e21fec3c4042225b0b8f513c34 \ 1b91dea1c7d480b3223f7c8a9aa0e172" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="zulu-openjdk8 libantlr3c python2-toml" MAINTAINER="Nick Smallbone" EMAIL="nick@smallbone.se"