%FILENAME%
cvc4-debug-1.8-3-x86_64.pkg.tar.zst

%NAME%
cvc4-debug

%BASE%
cvc4

%VERSION%
1.8-3

%DESC%
Detached debugging symbols for cvc4

%CSIZE%
123418599

%ISIZE%
452518389

%MD5SUM%
674ffb2ded6961f9ebeeb62957f68dcc

%SHA256SUM%
8db1278fd995e492c815f8810bce6acd14e0c6cb7850f9cee69ef3d59d234560

%PGPSIG%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmpn38gACgkQrx0hme8KPM/uEBAAh6XyyQaS5himDctcno+CiUbMin1M+xAx0phqmmWBHxehoaxfR6prVRyFYVF8ga8bhfSQBINqs6JXmLwaP23QEdWw8iNvZQYnTyd95mMLCn2L9ppEfAveNtax/jbL16HYluut50RuFvGUfpuD3sh7FnL/vfVeUSIhoLAEJBmX+Ho4ghpYGw0Fb+AmRoNrPcU6dORsuVTVyUjJ1xX8ihqRWWDwyYnXVGqY2ymaYhDedo2ufhszS7VZABNthOhUk0tBLwjZsczIIYQMuArDHDRZC0bQecsmK1jE444Bm2F6LwAS9LdMf3kmyeOpOn5KJ89wJVOG1G6ZR2hsclsRaagXNbShEMOQnLKuDnHLH5x/GJ9FGXuXOnFte+c1OL1iNCbK8TLI7PjHoEph9paL9iPBuvj8MFgT6Vn/KZWqIntR+jrWECXILoNOoYiVYo9Mq1bTj9Op4SnN/jQ17RnKcIYcs1xFVLzJuUSVaQ4mXsrMK/kpb9Bu2skx1cVf0XV9fU6Y8kUr/Tvg0AgChmwrCXIYYqpL+dP5p+7ALAodV0fS+7o6NcbBonWIcIhKlu+40KODwuWOtqJeFKyNbzBT1Ml2O0BMCnOb5Y48KTpV7GfBe6EzuK3mA3fIaa9lrhyBOqWgJ3VDyOFU9657Ooxz9ZRrR1GRBLHK/c/+awfHG3qZ1X8=

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

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
x86_64

%BUILDDATE%
1693587183

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%MAKEDEPENDS%
cmake
java-runtime
python-toml

