%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAOsoACgkQrx0hme8KPM9A/xAA6QaLV9JMiEIoWCrVGJ04qB8LZbM9JwYdqQgstw5HmKLMfi9qE6HOu15NTJn+E9dVTH+3r3mkGQpYizhOaPxR+4bsUIGYRrJ5/rCDF4HRZ4v9chQEM7fz6onxxqWroW2e86VBHpXAWuLnOMScORnGNay7X+I6Xea7crg8EIKwssN1gjNgpcKwQuIDVsdMtYkVqgk65Brodo62rsoZu0/78Jj6pMTjkb03VOCguIqRwoPwtW5jk/x5QE+outo8f/OMnMAxpVgMy1cbNmUSnAmY8RNKiZKOXzdEGYQGR4d4LFFSZCzedqIhHNwLIDSC7BjXc2Lkp32EbrNZmwsgyou9PIC20HICMSNqiH+uWTZB9P8djWJNsdftTi8Mo6ZhQKmaW6TCdKjzstWL4NsTaTsQoKKViDjeeCp9crxM1WPE49bveBNIEitT+PJVJFJpatL+UsVeZbd0X23iOk8O1swt393kWy0LvzP5gLaCENr/JH8OLGNHdX0QuRlGdfDuFPyQa5PuJRVer9UxrV7G0dNQsfcVoRnKAZO2L/7hjlSToJL9gpxAekX9wdzakv08Vjk9x+KXQvGbmTZmQK/CfU6lgY5oqRG064Th0gvYEDEyW4O/0LfzKJtY2jSeuM28kI4C+oRaSK5vaM8sNNzLrFPxPsWN+oUL9hK3pijsP2gaSHg=

%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

