diff options
Diffstat (limited to 'academic/cvc4/cvc4.info')
| -rw-r--r-- | academic/cvc4/cvc4.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/academic/cvc4/cvc4.info b/academic/cvc4/cvc4.info new file mode 100644 index 0000000000000..9255ab5115375 --- /dev/null +++ b/academic/cvc4/cvc4.info @@ -0,0 +1,10 @@ +PRGNAM="cvc4" +VERSION="1.6" +HOMEPAGE="https://cvc4.cs.stanford.edu/" +DOWNLOAD="https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz" +MD5SUM="aac9f3725d2247bcf5dcb87bbbbdf5bb" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="libantlr3c" +MAINTAINER="Nick Smallbone" +EMAIL="nick@smallbone.se" |