%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMiAUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwauTA/+NNlDFFZ+PumJhc5GNIEQFJJ5MtSZSO9XkGzw+8XU8XY/Ox8cum/3/TnGuVnAqaBkW/I6i7qitc5wNoRABKnH59+F4Ktl3yI6bY/ryfQat5R/zc6sN+P84r6uUHcG5BNStbei0+zkDzB3yae08N+253LDNSlnmSsfvwmD9NYrNwf0dSFBd5RI0HJQPCQUriUuCiLbT9kJZEy43wqq3tFVJcZ7H6mfWq+1KKs9KeUeBZ39g0Why2gilDXB+CjY/oIILe8i50IjbiwXCxu8I0SoqI0B5eg/S+kPPkfxyFFAS43fJayAGtLeZMHuTcyfjaeyJV2aIxXhh4y0Hhtk72piGn7A7j3cFFjn4pX1uRtoEDGokrkBRB7L2Kk3z72gJR4FJeMw8YLpQ1pgtUAQVaUcSu+kWd+uV7Cj9SinuZOXbJehqZrq2UmYZpm32KiskRzCL6oNFmUyCB6KpHslhheeuBhpvODTtoayN/HpvEbudZeOlflGlD2+N9+kfAGTLg+gUDFzOMpJMb+1KW8pmhjCrpCr2WIc1B2dOe5ZL7VejvVpq0ucV2w82GDG4z0G5HXdbfkkTnY4W4Vdeenk4sZxzux3VNmCzmvqL2a8uX1RKrtQd+52MLeVusRLiIOX+iBDGKAICJYapXXBp/sZJq9nukGlr2YyajTmk2Sao6kRXf0=

%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

