%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%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmTyF/8ACgkQek52CV2KUuQP0wf/eYDr8aQ4XhPvOI+MprUOyjklTcBqE49gCmhmAzM71UlMGhh1rqkWekBpwvymv7Tjx5k8oL5l8O5Sacwbk2/GdB8MMZiUywUwwsSnSDlZrgXqmMwGil1YzAw5hi9c+zd4Sh/WcxytXs2lT3K4dhbN4LhkSpdzkNKMCqxPohKVRq2GRT2E3COdqgeO4o5AMxB/ssKYBRElr/BcCGczVw5n3PNDbgl8MtDKVOHGk4gIxcUhkS7rzjDw0uve/ebPcSJZUnnFlbo8KJw8ln+Wc0pV/prVnDDLH7sPjxcYZBnBdDUT0qDWsfl9asXOT7d0kOrxkFnLCZT7+t7NHT7/2gZvFQ==

%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

