%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAVYACgkQrx0hme8KPM++JRAA0qeXeI9BDP2gbNfx/B9p6pyXulx0anMw+iIyJdOQutyb2wicTsdNhuaPtxFNwJJjHJVaDxljPHS7A8QTVQ/eA/T7aZMtPkQP/BdsNYFnM+/lhMNsnBz8mqJZry9WmPAqWHWmmiG8glKuR0y3JDi0Ld9CpAc67FQu8yX/eQvtV7dAG9lIcQmfMVvkUFsK0gH3pV9E9jak1PwnHuLe0Ky8FezsKKIeLnJ+T2Jmf2XcBWfvNILr9dXm8+6DsijeRohikQlMVhZQorVNxnm1VxT0X5G4sTYCdc7WJMg64+K8EFDsMm3q5N4kZIRnDUEM7W99ua7Vch5c6uiWguKaMuSABW/1LK+JMP1tZGC6nCqHmlCfmipaAKHT/LGG1IUgOBwPDDvOKMICmH7fNj4Ymomv/fLmcDG623pXvBCIjjBprIX4k/WawBpPL8MthpET+Ct7V6s5RVlyLfvZBEjBvTmjs8T1EdQ6n4E5yU3nYciWY/Pl6+uP5XxyV9PHgJTn6m8j/l5sZnWp65EqGJnERyLDByTdUMJR446jk4BP1opVZk8IEfPv8c014nY8asUKYeu2EAVx4wUnRpsL8DFgwXPwbPoLYnJ8OeLScJ2kVgbnPuGgBY2jAoNJ9K0qVoZ99hsUjVN/ztjl8m7Ex48aYsY68oMtOzlbuDnxefxJmG73x8g=

%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

