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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-3

%DESC%
An automatic theorem prover

%CSIZE%
5397574

%ISIZE%
19193359

%MD5SUM%
ab922e823e265a71b031c21268e4cee1

%SHA256SUM%
d6534ebb8f51082becc22367eee1ef38638e8b52f0e6a321ce4a491f44627e02

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOjEACgkQrx0hme8KPM/Kkw//a3/SeHusGVQ8LRKf+UPiBACcR4xIgmHrOSetCzfdaR9ZNVoeE1+BMOi08edwW9Zk+N2MY02aXqXs2L4dqlX9qrryavmAzg3g8k9GL1GouQcWyQjwUiEGZhDaVph7dCb3tHGlIV9S8IXAwayERSLdN3tol1NgPgXfNJ26KZT0GlHD41EWGkdibu0sPrmUnZWraloiJTfMsPsC5ixRIwszqJOI/EOjQy1dlPEOb91j+Lh71KSdE7H8rwR+5YWN0gJOrtDCIIkiECbTgRDQ3DBDs2XjvZ7IsRE1om/130EsonTWV55ETAMwhVVNCgO850S8bboAtd2fQtaDPtXYIkCcBzQ8BNAXhfTCWoL9SKXpr2HbQEk6qiyrl3HLrTLzkD3fQWQstYlJ66IfV465h979I8JF7jIqGVbnfDuwQRLMpWHwoOPR19LZ1VpYAaADHz/OEWMRivQsDWlA3G2u8/kjfIzsRkpHe6vQ+61Wy+w/Y/Fp/zjmoi9sV4JfgNnwIOa1ZWSYjtSQvATZB1BO4J+wI3vVmUHCu7EK/RRBVclgI58GOUUPyGFu5OLTxYiwTz2glWdE+6IRbZDKcTxql5LwO5OGpwpF9YxPZoS3CdNWa2ahiz/1mDE1iKgVHT8Fqs9Ow3+DGIrJwcNh73dJCBDUXEyadcex1XOVkLptJRhFyZI=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
x86_64

%BUILDDATE%
1693587183

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%DEPENDS%
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
cmake
java-runtime
python-toml

