%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%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmeAO1MACgkQrx0hme8KPM+aZQ//Ruy29x3UrtxxY+gMKsx2sHso2XphBpGzQAX04lt5X8p2NT6UCMgZR7chv+bX2hjHfuap9KO4I/hnCQcExD2GG3AsQdYAMvOT3XMjHz+z+SahPQ65hf6CDHHP2XK7xBc8Oors9+cRJ6HWL6b5R9Zxns3yhKsRjndv7h71qtEdVuzD1qbx44Oorx9dm+DJ3aNVvCP+dCzaGcyIzxSqPjiQw2OZbQ8dvJ7F6yvsg8kexhsv9W0sq8eK4oRiDXg6TpeHUrn5TT0fXCHbwFiFEYw2HGzuIIeTo8DsXKMgwAtT5W8WMt3SzYYkh6W5NMReZrDGATvPXWNGbH9abXa9qD7jrTVG4/NTi8EVRRX7KBD0/3efgYy4++u0Bqq4P+Ia2U53AJA3FLn7rzXhoz4/XGMP2bznxle/+dlWj78V2jEG7BK58llmHexcup9sFy2VnLEFZjd6kEjYdgINFnHWBEJaN2Tps0KY39gZrSYKdwQJsw9qvqIb0nX0bRUPDrQEsLvk/+mDMgWaZ0yoBtJjbZHbLEPL/GST9YoEwFeEokGA4lBRIyN2X07h5NcmwLqSFoHsrfGF92OUg05uOdu7rJKNgRR/G65KBzRDo8FMqphEX7Cnm2Udp3eriH6AT9FmAoWD9tVyLoFyzlXecanilauttdASl0iqzVwuEZJJyevD4TY=

%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

