%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3CoQACgkQrx0hme8KPM8qhhAAharO38u6iplxbq9hA5VFvciur2nSjqrrLUFwhCOMYM00iJFhdpi5YK+IoRsyOahUTsajO0vqJWOXdkwZluLitCG4PFZ7EH8NyLeqZvud88YDH9Z/9MOv7g8KDap4a8zaP+OmCBuUmij0RCMk54b7RE2OyHF2D5wfydCC2/B7bk+5rMqc/EwI68JczNeiAzlUmv9R1xFsysxKlFSpVb6aXbmywCkHPrBQdWNZ7g0Z3bNR/sVPsCA3IpKycGPkzSJGKHJlckBqv8Rdi2TdNqEo3D+/xMsHg96fI0QT3cJP0zpz/7UQ0+wD2uZYD4sME/LSTb/DGVxZo4QcNi3hNJTqgzUy8n7/Ho0icn+PDbLKFwgfNKqEyDQMIJzCpvy3V+dxu+fyMFNgWFEr2cdOj50yS0bMoXhYZ56srKnX2d2fPfD25XOC6G7QhI9vvbVrmieorqPCf0ED9sTDhdFjFI6y1oy2fgehzZeUQjQKwS1RtDF7Yq8H/eLYTu3uIr1EXyupFOhv3OdfoIrKd4sQEIno22guCxDQKQEmT5H6oNMD8jRGP/p1unVPZ7/XQ7yCw5IHfsYRgbiPY8aHqok6GyPmEgYN7y+xu2+BX2gsT+xaV0A1TG+ZgeoHxdWtoVUAlqChJWIP/xK5vv385hJ9wFISqkL4JddT18a8AB784OUA2iA=

%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

