blob: 8125f261254044ab5038d8eee69e7655fb3469bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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 python-toml"
MAINTAINER="Nick Smallbone"
EMAIL="nick@smallbone.se"
|
