%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%
iQIzBAABCgAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmrkAnAACgkQrx0hme8KPM+49w/8D41TpT/EnJBACBOx0UpH61H7BZQM2YPCo1tCqTSA4FyIhrOaRvv4Y6j/l7emcRjZdHXGTBgqiCn5xPbqZop3Hu1dGKgB4z9q3ADni6hN5YXZBRLKKvKrLUHcGO7l6CU4ii+HAekeHmdT5V1TD+rifn0g0c0y+NWET1kMGNT/xR1V9DobA4uivFXQC/aBJfu25/fCg82TOPu6RCgWNJ2rCWP8vcCdg6NGUmgtUMqCK8BUGxlmZ/sZl+589/9oG5r0VgQazsMEJRaGMCCSj8DGF5QHXrTAwaz2MXpRXijlfxPjEPN2oRwkVyMRqDMursTLlauqPqfE6otVOsLlL1BkSdHh8t5R5DqQqqt+SYcgQRuLmZ0THgAstGaUzavHT/0ZihDFoNq4qHyHinVeEAz3Y3i5KWzJL8wgtKpJHfoZlfVdMK+3jPv4DnP6FrZSLBeFNUHBrqUXDXAYpUtnrOiYtfcSHC4XfZPJ6usNVTKQ1iHRw8N6I1g5nCZtCoPeihPyvLDrSNUBwOXB8Vu3112AkgGojluC/BJayENAc+Y66h5Kl3S3An1BEqKnqN9dSsdizqJ8vYKkH42/qBcPE0GtZppPitSr9/WUU71XDqeKxFhnQx37LkytYzkIzHY13Mat3mjj01rxBkQ53TGf2XYnmTmxYbh2JteJC20JgeBrXvY=

%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

