%FILENAME%
cvc4-1.8-3-aarch64.pkg.tar.xz

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-3

%DESC%
An automatic theorem prover

%CSIZE%
5372400

%ISIZE%
27594599

%MD5SUM%
f0039a3f4174a388f7845690eefcb05a

%SHA256SUM%
de8e860a3c1b97943eba563d97e1f43406df7167b5567b034c9b6fa44a5ebb96

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTyK6gACgkQdxk/FSvb5qZuAw//aPYr9n8DOBcxF8o/c5/AdQUa7Tv4pBmV6jvezCbv6KOW7Y8e4DuIh85w0FeR0znLIw7aCYTQKQAKhTO3jlLkQMzPsP8s3Cejo7AkbMb/YAaRDri5/3kmtb+zQoclV1LSd8lF0PeM+4eZxU2BB0celkyRRBixDM2MBi9ZG6FgUGzvwWV/+34Z9zq6/Pswp4pcbxKemc1lVqKzU0S3qNCpfJYz2XPTd5zuhJwzOrHjpvBSbxaQjCAfUaGa6ZwHh6ism5nLZTvk7qKmqzD8kOK7X3xAtK+F4SGK919+znDkhlYpzB7WuxVr1RgAzwqHxTwZZlrS/lwNdDRO1EwYqIHbiGlrXXYrt23Y0/BqqyH+q7h/IpbRgeJHWWdp4Ojd5QpV/iNRwJkXFZWgyfS0vDUTfwKC7YA05qYXW/tOxA8tiruRl19jcvyWQ7jDF0uS+zd7sYhX5m84V+yE63CxQWe62yN1S7B+aWU65UD+oM/Vh860ACssSROwjoEDqmXk7PA5CRq2J0FoSwDVUI+5ivTXGkAdsKqUIRZ1mNVm3TpTMliaADguZ+QZCami2oKMSXfPJBeFMFznp924YmUTGcTQs/TFgpnEd56zoz1EGxBOjM9zCw/UhC42s3ct0CCrdzm3Nr1szUF4jtEgeGruRZUZU3bQsmGpOg1AltkX7PcU2qk=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1693592072

%PACKAGER%
Arch Linux ARM Build System <builder+n1@archlinuxarm.org>

%DEPENDS%
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
cmake
java-runtime
python-toml

