blob: 9255ab5115375c75230b093cba3e45d8dd898df8 (
plain)
1
2
3
4
5
6
7
8
9
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"
|