%FILENAME%
z3-debug-4.13.4-1-x86_64.pkg.tar.zst

%NAME%
z3-debug

%BASE%
z3

%VERSION%
4.13.4-1

%DESC%
Detached debugging symbols for z3

%CSIZE%
215500918

%ISIZE%
757548794

%SHA256SUM%
7094db32a428510619f3bdcee7840041ff5ba966bb550f76c68939869fbeeea2

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmdsb0IACgkQek52CV2KUuR+NAf/R2ndpqrEfpZbx7bKCc7zotpcwy9vmzq2PEjQDVldyEMG9SdWnjToj0OJH0Z1isldgPaN4V3KU/bG0zRT74Tu1OJxBvPz06JCpb//BLn5WWAPqlpvrU3MkGlSejXkyV+d7G3EnPfNTSvfF9MOLXVxp8P/rC1OmsW6fnWQz7k333aTqNbUkfHqu35Bxo+GS+wHoaavU/wtvLUn4ASLh//6T36Jc65+cofK86peXPoFsVT2s2FCsW+x8JRm4kxMAQ1LqWAJzWv0pkp5RpkEK4V7fxWgvnDE2RlSv4qAfKTyEpA3UwudnzIQj1t9OoM1AZ5t4ju4tLQerUg8xVHlpV+HEw==

%URL%
https://github.com/Z3Prover/z3

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1735159344

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%PROVIDES%
python-z3-solver-debug

%MAKEDEPENDS%
git
glibc
cmake
ninja
python
python-setuptools
gcc-libs
python-build
python-installer
python-wheel

