%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCdk8UHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwb83Q//RHJBjhUNqi1VqGSBcRR+qSfhxKfIpLF06k+PxNEq/Qwnj+s0chiwgnp5Oe9NEfCJf0AwGaKy0w2LfC8fmGj8b5j8yHoWrPOZk+UDei1WoDMn8BHLCeraH9vYRi8lktbEXDrrwyt5H8lfPpTG0QxEWflZ0bRBJigVQBH+HXdlmkKpl19bnf6BdLxTkZTCnweUsTJ1Z36FMWnf7Nl1WZjY60xNNgyMQWZQrvpZCkmMCPVWu+kAaZKdziEECVPs06FJkDaCwBbKYsLt20B1EPf50oiffC2bJReCepUbcTmAZWNv2PpHVZ8OsunlLpwzjBlbOcogy/pDEZqrDKUHwrg/GmMcwhlskTNswyn9GyEkc482FqwUTo5WELrluEFvWbyhBhQKpLOgPfpjel8DIm6En3th+q0NWEmqVM8UUKV/ELijb+s+rCrbccXZd/PtZaD3r3MVzYkQY0PvkdzIlniRG8eYHUM9FyY46mgU6spY9lcv54ObIQFD1yLDoJHnDlhVcOJXvj3A6MuuO3i11OzDibU8aZx7DTnWkqHRtHBl59DfV540O7Q2ZOdeMtu3O/g3/iF3Y9rYWrOOYlxTRdicuJF1BTcQJJbJZ00qwW8PxTtpqBgoFZ0mBkPonswo6XwBFXhLqDmobTL99Iwyri6fCZW0+VFp6+0feZ1YKn3qKG8=

%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

