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

%NAME%
z3-debug

%BASE%
z3

%VERSION%
4.12.5-1

%DESC%
Detached debugging symbols for z3

%CSIZE%
210691668

%ISIZE%
740565216

%MD5SUM%
485ce0c9440758f93b32ddc14850f2ad

%SHA256SUM%
1dac0c13683d2ef050dd765f3d3cca8da599629bafe411f0581f0fb42d473eed

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmW0FtwACgkQek52CV2KUuQhHAf+P+aBPRCerpP8PV7UEEBrtV76hWamzRoLFVoPtlFkkFbNmISYtBrzmtf5OIJ07hhwYm5XnAr3Ud3x461gl25xcK9a84fKdVtvrjq/VsTf4/HFdqstg5la624y6jhPBKtlKH3ZEBbXQqI2Cd7ujrGagG/ifggjTh5Tdlgpd3L71hKk50+iBfJ7SHHkdldaAzvIP/Dht+H9D0+oIWvi11dqGELEHg/fxfOd7yx12+crxusMNKeEYbCxSX+Bk1984bdA3rficdUiA3xRTmk5n53R8GEYuR2hROg19p5PStHLETdqJl/Sy2OowWE2B4+gteqNHHq4Q9tbL2LSPPf5gWlAtQ==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1706300928

%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

