2019-03-23 02:17:49 +01:00
|
|
|
PRGNAM="cvc4"
|
2020-09-04 04:58:10 +02:00
|
|
|
VERSION="1.8"
|
2019-03-23 02:17:49 +01:00
|
|
|
HOMEPAGE="https://cvc4.cs.stanford.edu/"
|
2022-02-27 16:06:14 +01:00
|
|
|
DOWNLOAD="https://ponce.cc/slackware/sources/repo/CVC4-1.8.tar.gz \
|
2019-04-19 17:12:38 +02:00
|
|
|
https://www.antlr3.org/download/antlr-3.4-complete.jar"
|
2020-09-04 04:58:10 +02:00
|
|
|
MD5SUM="9f7657e21fec3c4042225b0b8f513c34 \
|
2019-04-19 17:12:38 +02:00
|
|
|
1b91dea1c7d480b3223f7c8a9aa0e172"
|
2019-03-23 02:17:49 +01:00
|
|
|
DOWNLOAD_x86_64=""
|
|
|
|
|
MD5SUM_x86_64=""
|
2023-11-30 16:42:02 +01:00
|
|
|
REQUIRES="zulu-openjdk8 libantlr3c python2-toml"
|
2019-03-23 02:17:49 +01:00
|
|
|
MAINTAINER="Nick Smallbone"
|
|
|
|
|
EMAIL="nick@smallbone.se"
|
