%FILENAME%
cvc4-1.8-2.0-pentium4.pkg.tar.zst

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2.0

%DESC%
An automatic theorem prover

%CSIZE%
6051664

%ISIZE%
27824254

%MD5SUM%
544a4e37ef1b5a730843c279b61a6f73

%SHA256SUM%
bc22ed4add9a178448948fbf62170d1ecc7b29908f8ff63c12aad2e454ac30ce

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl9zCCUACgkQLBRsAalSrA+slRAAv5Cgxef3MFvBtrxJijpy1XQ29ev5u2S9ahWPLPoTmXHObrKourDb7LlAvPeA6ScVv8r0dGN/e17T2ymShDHnwfmKssnhE/0iOAquyxyrmlT1Cs2T6miVxcwXltJl43EzvTLcLzrYaPud7vy6xIl+Wb1F07CxMALGRBQpGpkJSGfeS+Awa/OHUdJ0NP/5Rs1agLlpS5ZeMl9M7oUFtj1Rjt0C2zdwu0tAu4lX95CbK/32fShxBa314Qwlvda88eNjfUw7UhLjN9nBCw6FKROI2s8nFr/za5jyYYbVUlipYJ9pqO7EFQQm9nf4C1ZA6pViLVH6Tmm1PaQYmSpT7NFGEg5rMl3Fp8U4opDrczla2fIbYvJ5XceFdOIEsc5zhltsQCjhQWxyhFWkP/qhA7SyQ4ycFUnymS0sztruFMgBgJfblnnikxtJENmTWqgBMX8fkUj/YYxZDHAPzlA2BiqIWzh29huuvoLbyhq+e5QKM+B8Fszgbb6D2swOiWv05MHy379f99NNSf1fnJ+O5VbZD2falhO/mG93wMDckMUyO9qzLtnJaPHjxkUt4QN+Igl9WMaj6mzRZER/0Nlumv7INN1W4qUozW7NjFar4n5u9oNrYWU0voRbdIV3WPc+nHlv3KQWCqAWOHyLmDeXOZVrutcBGfZ8C36sZ8BdWxX5WNI=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
pentium4

%BUILDDATE%
1601370646

%PACKAGER%
Erich Eckner <arch32 at eckner dot net>

%DEPENDS%
boost-libs
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
boost
cmake
java-runtime
python-toml

