%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmiKkgIACgkQrx0hme8KPM98Uw//fb7zhpF0K+JDvEkQgWCl6QeaWqaPj326h55GGUkHRvrcw+V+2qZzM3tNh+QCz1iQgLPbUgCGe5pkblr1nWYFb1TxF/pcsYW9vmabe1JTXx241d7kdcOA2I/fSxUkGNonP0Rkj00BpOEgvKqnKAge8DXfVR2aapfJyRh7kp8PJfH5kXtIq45hnWmq+H1A6Ku2mIbHUw0OgMdwtbIYnk8XG51OVEg9FnnTyTy1vrShOpJcxM5uyLjg81nuvXVL1S3ZFJZKl945ywIakyV9l3IjeOmwdtpqAgPqctG3LG8DscrTKfTSUslmwmEvpupPXlotMrRtEW9WGfax2p4IRhkEOAKq74d3l3qpQdoeXomSRpPAIuVv0D9Kwnr97VI/pcS3CFGF8vsnqVlwTGpbpx+Nj+9AwKEOxg3mOi76lOegUyMDl352Ov1M4qXZLwS9tkQdjcG7UIAt6FnnvbXiCys1+dmIqCljpm6tiTC3C0R6iweSIgONoIkH0+qu8ymH5YdOJKMEb8PWRP23iv7YpCj4lFnUcduHyxdwZqL5lEHbRSvZ+no0GIp7NEVccqQteLtXL+DEcQ0vKgA/X3qiGyPTfBpSPhBFX9T1kY83RxIWuWyUimae3wSEvnixsr1Oe40ShmxYTjaDZqRR/XhtnrTF/q9ebxlLQj4mC73lXBbfvGY=

%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

