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

%NAME%
cvc4

%BASE%
cvc4

%VERSION%
1.8-3

%DESC%
An automatic theorem prover

%CSIZE%
5334328

%ISIZE%
15798411

%MD5SUM%
67d6811fd79286f8af92ba71521f7b37

%SHA256SUM%
06bc1f2a04f202afd6aab5816cdce85008cc8f538ab6ce0de6de3bdf5b8000ad

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmT62W0ACgkQeGxj8zDXy5KWNxAAvm6fx9Bn+BZZmUInZb2MAt8Rzzuy2EJiv224fr+Jez+mG7eA5uoZnVq1XL8GHjg5e4ggJ6rPXb60gOoSFtT4rDe8Ni1vGMNkGDDeWO8A7pp77kThS6fmUnEMyKd5yuWWzKFazz1n43617j/WXFDVEN11VyxQAu9JXnH0exCl/Bywsq/hGnFCIWn9nOaNBhAJ1sqzxXDIbThqCkiNAWj6v2+a8h5XEO3TY+7JdBAI95pDKPuOXCQtpk8E77mJ40z0P4etFMoap+BuKwulbq3ZYU5qcRpv9V1mPi/YyBHYOcs0nfLUrdkJO339CEfqZJauB30uIalDtb7Cas33tbgE1bOARvXYagTs79J3wz/4vc6/x3DVNc5bTeHyENVQoR3VZYNMNEN9/9VyHqP6ZgDhKy7XM6IcwZRzJ93T2cbqHqQb5z+dE7UrUx7QHOCDzjKn0TfEniY5oMB+XDwOtq594fSNXiq+Dizq5xkAXx6l8keaGfLUA/fHF5TU+G82nrR/Zm0GJ13SYo9cp4V3lrQZggNFR8l+VDz/5fhUg0gdMhX1ymjl79+HCU1Ta+b70psL9/Tly62LoqW1pijRZ1WqwiiqC1TbElcUqp54M76eM8vXgAFvWbFBQfls8IcoRgrq5X4yPLH6fJdWpM82baWLmHSk29XBl7SvJDK50gHcB20=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
riscv64

%BUILDDATE%
1694159656

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
libantlr3c
cln

%OPTDEPENDS%
readline: for an improved interaction support

%MAKEDEPENDS%
cmake
java-runtime
python-toml

