%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEHUACgkQrx0hme8KPM9xig/8CM9/XKqQYoE19djRmJUFNzEw+57UJ4Pz2l4nqtvZhGViPWV6rzjZaJ/LbSu2r8nTBUfn2okeHuJGhL56KOgirzs9U3Ze4kwm9T4F7ByYZGXXzvFm8+Mt+G2dkr/79ViqdZOyOJta38YAcaHKXLWTId3JvvAr7QXJRgM6PNtFWo8xuaGKuajTdIa6kGny8sUjyrqQ8+Cshd0WUGpsB3+sJHby+KSMt6pQSUl695+0lG0OyQheL+cW60LB8xonq6MqeVDudftTgUHiLl8rxl29c5h+6aLkyBx6JYllB/ZX4BZO5WMJEzFMU/vwFIvlMVYzDLJQYlWlK4myQnMThyYQr42xcL0gADrq/8BS1eNpqsPh3PzUG5iAWNb0uwwmBIwrrbbLexdrwvlUoIZzQjwA8zZPdLjBwpyzVtXSO+N5g5iIkle7atPrlW6fgdN2g73uG8jcm1+WsZ5sRkk2ccRgLWWfhahPPe2F1IInJWufLI5SrJdt8wFDMuGNG+CYrK10/KqFBb/lDb3I8eVD0WjFHgPfAqG5qfiQX9QcJ11nBGmtUTWuEEXAcS3pNWw+JcV3qCEBNgvI+hJxRQtHp2nR0DMyOUE00MH6DU8Vwsg8LYEeCiqYHogeHs5MX9j/gqIEWrADXOc653Styfnmq5+VE9HJDvKiQKq2luJCPb+S0YQ=

%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

