aboutsummaryrefslogtreecommitdiff
path: root/academic/cvc4/cvc4.info
blob: 9058f04efd9f2f8cb5c7ecd52f3451e8af9007d5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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"