%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmYoEecACgkQrx0hme8KPM88fRAAzVsXvKG3PSOmMyIS3b6D2vyI4hSV3MvhBsaTWAY+vMnU5TC1a86rVFB4PAHRYuquAoMnsy5BlJB9WzYSq1Uv3lQntC6e1/V0INv6rzE2K0ARfKi/cX2g4Ck/PZHngpW/dV8S/MQPDHNnl1QbBhtFMLVCv4gQkOc0vTl6y5hjfc/iNr7KsmFq/kO9gLfCLv9uXclV35poqeDU+Cr+IcMJwVkBRt077aeXnIpTD4W//1xfmK/zqUzdNtKiGV3eu77o6T+Sf37dDdQ7eGQU0SIFTNQ7gxSNM+8rAgGafTVFgY1fwYAU6RhKnhEtgT3XiJhhtnHhW9J9bNR3B/6ypI9pwMCaRcHROpwcIGygvkAvyA7pozAZcZG86NovS21uqpDav4TG+5aK4mILC6SomqIz6MGslLuKFk4o/dT9zGgR5yx7HMni4cyj+w1Nx9FCgugghxlpvhYEsKbDuL8KJsTQZZkcHHprZ5cHLMJYfVjN2o54lETL1NnqtUMV4BsNd1SR2XJnBlG3ltvkMuJHXPwCQkEkMh48+TXHSdM/16r1YCSsmgyjeL3Ep6jjp1yExfM5PZ98EBv1udaVP8xAV+bvzSpJhKq/BSTsVt4SkrgDCQ5yu9yv0b1Bn5gqRIqlrkwk+hK3PNIXPebgx1TmUwLJziLhkxGL59MtTNP+yJabcQU=

%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

