cvc4.info 426 B

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