%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn3vUACgkQrx0hme8KPM/c+xAAkScnuPYWFFXl/QHUeVDgOjsv6giVbl+YDq8evMxa6XtZ26ehjIF/I2dqvd+PWA4hoeuUc10vTOVj37rCxjwEMxWtsWn/zWIxOZZmWQDlAtGNZpEhWngVbVD9zbuhUxaInY1/6WaveJpHawbWeIeVmUosew/QHboSBWE4Une0VuK99QYYrNhq53sz8wU7OPXhAvNtcMABdClP1hwA4xJXbTDLIfe6p7UmhTUdR7oyutSh2sw8hMsejB5aWW1zcblkMe5rBq9MJqrRiVL2fb1BV5BiOx3VSWNBEQ0zZs4UOxAYtTo86IWmy9iuVpCEeCa8oou/VUAYoTEfSu4ETJ+ku3SUkQyJJ7G+VSyXZl4gsO71DEjsBGs5Du4jvy7y9rA89aZfUHRE66et9q8biJtkKUApeoCHCIXu2qNumA1oO6KWbKTSPuYibi9Ovkxv/6A9rhwQOR69O6exXjLXX3ObjETnsR7xk3oQ0SmjtsxSt6lfhAauXb7PObIE+fLaWgk1yIAseiekXcXb/bsA8pUmPXgxScUOsHjcampnXVffWfEjyVBMqPNQitw/ROHHp1osJXEHPAR6yWx++iWS0MjGISlmmgtyqxUcPMbaSlkIf7qJ95VNHvQLUNKG/LyAfrByF5NvqbAxPeuF+CUoOVyVESM9cgauqhuforirQ/jgAh8=

%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

