diff options
| author | Nick Smallbone <nick@smallbone.se> | 2020-09-04 03:58:10 +0100 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2020-09-05 08:26:44 +0700 |
| commit | 3d9cd787ede47bea334c6133d786e7245f0086af (patch) | |
| tree | b533b4b388ae14092ea897665ca1ee0315d08842 /academic/cvc4/cvc4.info | |
| parent | fed4d5c0254a4c51051696a840893cdb1df7f552 (diff) | |
academic/cvc4: Updated for version 1.8.
Signed-off-by: Dave Woodfall <dave@slackbuilds.org>
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/cvc4/cvc4.info')
| -rw-r--r-- | academic/cvc4/cvc4.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/academic/cvc4/cvc4.info b/academic/cvc4/cvc4.info index 9058f04efd9f2..4fc4ede8c6678 100644 --- a/academic/cvc4/cvc4.info +++ b/academic/cvc4/cvc4.info @@ -1,12 +1,12 @@ PRGNAM="cvc4" -VERSION="1.7" +VERSION="1.8" HOMEPAGE="https://cvc4.cs.stanford.edu/" -DOWNLOAD="https://github.com/CVC4/CVC4/archive/1.7/CVC4-1.7.tar.gz \ +DOWNLOAD="https://github.com/CVC4/CVC4/archive/1.8/CVC4-1.8.tar.gz \ https://www.antlr3.org/download/antlr-3.4-complete.jar" -MD5SUM="eadb05f5092c4310f3bbe52745f9b7b9 \ +MD5SUM="9f7657e21fec3c4042225b0b8f513c34 \ 1b91dea1c7d480b3223f7c8a9aa0e172" DOWNLOAD_x86_64="" MD5SUM_x86_64="" -REQUIRES="jdk libantlr3c" +REQUIRES="jdk libantlr3c python-toml" MAINTAINER="Nick Smallbone" EMAIL="nick@smallbone.se" |