%FILENAME%
cvc4-1.8-2-x86_64.pkg.tar.zst

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2

%DESC%
An automatic theorem prover

%CSIZE%
6691664

%ISIZE%
27664450

%MD5SUM%
1ac55ec26df68009bfdb9cfd6f5eb62e

%SHA256SUM%
7d15395910f5ec36c5b10ac52cef2556b1a9546c615438d91149fa434888833f

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl9fVFAACgkQeGxj8zDXy5JMJQ//ZaPlGW2kENG9UYfykksOv0ka6AE0OT3cL269dby+Fi71f52wyyuoS7d6ZgMxIRV94qC7ZwKwSuzGAma6HbCbTyyDrmdfTshrPPUN4eq2Pf1VWXS62eCGSeIVZJpZmTH/9PD7eG6YMiBSTnrmp4g0A5ZdqmoSFh9NdXdtvmdwK94CobcyaWTNC32JO3aYX2hCjoeOl2EkMGHWkPHmISe/g1f98Yme2Q5ZKKR8pEPMCRT7NiY6P6IeR9Bvq+Y2T4vkxk6nPfUL4L/570i8zTKNQlzaN25VrcZAKuIlj/fGKX3ztLrNj5XlmwkxObgFOW9swlF2u7mH1WL/BGN5wUQKpDtcoZw3x8RoLJEowRcEThrC/rGrw3bQGWme1kEq2mu+8MyeMbXvx2YHAnYvWvxqRLPtGgDGKfqk2RwpRFL5XrBodab3txlds4I4QEXP4EPEDbBPKQxrkUIeXivMzxiswpgyOeNM2t9wniAd/cPuG2jSKmxnPsnUo/0uwEbV61kpyjJOsiMXvvchabAbVwNZMCf/MM7VzkFS/Q7CMZkQoPF22KxRJc+LdRV8PgqKkrjZW5tFk39Je3ZeOIh06rrnNk1jzrPe0JH73Nms4aOoVLsfZxyEObqkgTRFuqFuOPSu26UQrZ1vWoPcVU3kS2Twfi7FTVuqs9BKTdaZ89z6AV8=

%URL%
https://cvc4.github.io/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
x86_64

%BUILDDATE%
1600082668

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
boost-libs
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
boost
cmake
java-runtime
python-toml

