From c4942e819da128b70b59132d873de0939548c336 Mon Sep 17 00:00:00 2001 From: Nick Smallbone Date: Fri, 19 Apr 2019 22:12:38 +0700 Subject: academic/cvc4: Updated for version 1.7. Signed-off-by: Willy Sudiarto Raharjo --- academic/cvc4/cvc4.info | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'academic/cvc4/cvc4.info') diff --git a/academic/cvc4/cvc4.info b/academic/cvc4/cvc4.info index 9255ab5115..9058f04efd 100644 --- a/academic/cvc4/cvc4.info +++ b/academic/cvc4/cvc4.info @@ -1,10 +1,12 @@ PRGNAM="cvc4" -VERSION="1.6" +VERSION="1.7" HOMEPAGE="https://cvc4.cs.stanford.edu/" -DOWNLOAD="https://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.6.tar.gz" -MD5SUM="aac9f3725d2247bcf5dcb87bbbbdf5bb" +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="libantlr3c" +REQUIRES="jdk libantlr3c" MAINTAINER="Nick Smallbone" EMAIL="nick@smallbone.se" -- cgit v1.2.3