%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEUEACgkQrx0hme8KPM/ZMg//WHn49MlFZ65ZuLAhLsAQnASb/kwRdQ5Yj8fSELvEFFhnhs4+KAqKljqK6Ot9vi0IRNFKO4ogQiawp+BWQLFo0PJdyfc0qyPDLV92ggoETzE/ZeygR4Yvht3qxFV5fbYn2ZXWobYpmWHOx5344wccY/dG+m1Dlt430AH+SDR3fq3rdXzXuEdGTgsH6pH7Y/iS9Va6blEUx6MAdCY9wRctQKXJyRoTPep2Y1ZislkeDA6o8lqobXh+ACjTKCZm0vE+KY7ZDYc6CjNepaYCLIA7NPAaAe6tJMrGv1ILiGlhKYyCZtU2E0l/y72rWomzHxP133SZeum8mmYz4qUZn87lNTYCFDThOHKj6OxlZF1GoH+vXWLiN0DxxJRgr7L24lgl0ojOOyqfXApM4knPg1kk6Y6crmfhfnr7ohDFab7zBWWDSFKqb7pZsBUPzNCcLH5US6mwBXhq8yYc+twvzh0WNbj/KWUQjjG2rGItZ6Z2IdDPnXJzobDjwzO3AR+ojYPNMndTwxyv2Xt5cAiboM3gflswqSvXfUwwJfTOkV7qT8KMUaRLUftl6P/vRK/7qvkbLZfq9+3tmsxTEW5HCuOd5QgFfWspoMIE3TlmEYPhVN9eoXSSJ+ZOL6CQNAydY9KfDL7A2ukx6mLqDBYJyl5ZCpb39MrwKOW4jNIcaKkR/Z4=

%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

