%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkQ4ACgkQrx0hme8KPM90Gg//ZRvdSpjdrpcrDZR/Uh6rjJ5N3yByQZtMKulm1u6zLKpN9V2xQrbQ0QzclUI+CxsuWN4RYhEpjHQK3PufurN8eP7yBqtofJs1KNE0rmg1vPyIkKwvtzdZwvvQvrRD8XRajKWoUQxs4NicxElzU8ITLtczmS60ZdCMArjg+XMTteL4ADXnNnCWGHHetet/ty5XVtBgoIB4qI+8f0Spq9IBLDUwWKzDIIRMq7mPE+/6UqoTIq+iOyGEkM6mq+2XeEwayllQjf5VYvWWnP4n7k92/LSzLSD2SDBMHqfHbWSMAo0m/nXrSCA4nU9XsPxFeq7jz9pWteXtAj2wpp6PkY9UBwmJqgHHdbq6h3Vo8twDNWUEIimPsGVtLzpznm51dw9hd+AOin0K1QAKUfBPSVqaEUBZeHpY4dnHvxsuaA1c32x7rDNi85ZZX5I/4LjeYvOM6KUb4h8+UNCOGPWp3oM+7nDcZGlKrIJ6knDLQ/k7SlcE3vJpxL9eomsxHqrOIX0KCH80TSVpkxF0ZVZFZuHWrVihAGCgV7v/ngeMFa5Ttc/+mDTrjzU5NglirPhK+KwFWzym3pKvcebYFpwIYZUXf+C5K5bpMnFVc0DuxI4IOKdjAUcoikq8lTCwFBsmv5xEIkyYuA4y+Njn4iFaPE6AgmXuWOXMliU/Im3BUAQvovY=

%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

