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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-2.0

%DESC%
An automatic theorem prover

%CSIZE%
6009156

%ISIZE%
27709566

%MD5SUM%
80ce76d49a6933c08abdd7f50fea5080

%SHA256SUM%
8d5000c9b72a2955d5bc83cc0194d3119174f470d5f0a1c8ddff518dd028a25d

%PGPSIG%
iQIzBAABCAAdFiEEQVthRbOJyKdMn8SyLBRsAalSrA8FAl9zrBMACgkQLBRsAalSrA9IlQ//Vob0GHQC2XdEILMgQPVi1CI26IANpEkhcar5p4IEFDgp0ZsUbHpyJKjMeeHv1HTNRwH/iFmr18Ba4aGkyRt1CH4i/iAZFPycN/1RHrhZzSNVZc+nNB3I+maJCYmBsDtKGIcnt6yegvE9gcetSN8Q5fsFezYWQktwQMBpZUdeJ6Pg14KgLREvNpwm0VO2w5J3EU86NdH9CtRFVH7NpsaO6C0NOo59aPeuZSa5dWLU7AB5uZ9/4S+xaW5by80g+p3/FbtUpHO2Xemamw6M3GCPk+B7xxzF8HYG4qNzny+zrI5Llc5AG+TGwiOl29z7nXoZyG21mzu/f/S1LwZ0L5FCZMPlRGdKvRQ9ost3rZC2b75VAIVmCoqUKSQdxh2t7rEFwaf91FYXDtDtWP9CDkagHTCvuHCBgIJxAtEfHELTEt6Av+sTrNED3yIqtZoF+4GJmX1UimFGKVPbKw0OCjsZWEfgZQ+PwD6Q6YQakiwZsh+WPC1KIzx6GB6SDU6KEcghnbiWRhM/NDETMv75n5GfLXNzLHEF5/fKaMKLIon7Q/5dWVqBwD0IAaPBL+VhjjBCuFHzPBumO4nwk4/evLXBWCAoNLRByltGlQtKb1HrRZgA6YvHggfFqXxino9SGuCLmjwH+3OkMaakn3joiQGudxZg6rFUObYf3/AWLcX3MOc=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
i686

%BUILDDATE%
1601412691

%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

