%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%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmTyF/8ACgkQek52CV2KUuQFCAf+KAW08T0b8iIKmTe5opczInzyVtgWTyDmZ0z1IxiEW03uR1c9y70Q1f6FDFzGkhLWEe06cli2GxHuIzfAKhemonmyzIwa9CeF4vSjMKVT8MluhgR3jIlNs2mQ69ehhQpiy9y6Ap777WDIZ2af9yI/Aw4E8a3NVFmTY7ExDtAVp3Yk6EaC5bTpO+qLTaX1xsk1uls2F5SXpy1hmaaYmP6xYs4OIgqAXhDbuYtdsj68rR94qjhdZ2z1aZFxK0GX9FvUc7RLTelnik51xzEanvsGo6wnQi0OQG98V3iqdcfqMsBWhEJFaI6dXMCS2lRMNYQwTDKr7mf8XUZQg/fwJeWdnw==

%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

