mirror of
https://github.com/Ponce/slackbuilds
synced 2024-12-01 01:00:03 +01:00
12 lines
405 B
Text
12 lines
405 B
Text
PRGNAM="cvc4"
|
|
VERSION="1.7"
|
|
HOMEPAGE="https://cvc4.cs.stanford.edu/"
|
|
DOWNLOAD="https://github.com/CVC4/CVC4/archive/1.7/CVC4-1.7.tar.gz \
|
|
https://www.antlr3.org/download/antlr-3.4-complete.jar"
|
|
MD5SUM="eadb05f5092c4310f3bbe52745f9b7b9 \
|
|
1b91dea1c7d480b3223f7c8a9aa0e172"
|
|
DOWNLOAD_x86_64=""
|
|
MD5SUM_x86_64=""
|
|
REQUIRES="jdk libantlr3c"
|
|
MAINTAINER="Nick Smallbone"
|
|
EMAIL="nick@smallbone.se"
|