%FILENAME%
z3-debug-4.12.1-2-x86_64.pkg.tar.zst

%NAME%
z3-debug

%BASE%
z3

%VERSION%
4.12.1-2

%DESC%
Detached debugging symbols for z3

%CSIZE%
202230468

%ISIZE%
707450495

%MD5SUM%
bbba3b93709ce00bad9410763bd3ac4c

%SHA256SUM%
167fa6348e9069e852c1ae0524ab488e638fe7d2d0946ea4e60280a9d44f3554

%PGPSIG%
iQIzBAABCAAdFiEEiJtevd1QWmg2IZANrx0hme8KPM8FAmS3DLoACgkQrx0hme8KPM+j2RAApqQf7SAp+bL0nZjWoGHm2ul3mm3XnP9TUjyHGmYWUHluqVTLy3mTrRmvDXc7Sq89LZBgE1rosSVPU8jWB239/ZECV4wi3coF8VLBcQPrg+80CZg2lA4CdI0phnsM5Dg5vhfqmDGI94M0qddSTxKc0l3mimVZLt/TQcDY5sgcA76mM4L+Jaxa1b4FPKPdVtNfDzWB0LJk/mY3mc57dutNfqk2CcTuvsDkX/0E0eleveU80gK/c9kDNT9Neoq7UHlA6jp3pDHKfrWHuV68YREfeaY0A7Jmd5bg7yqeIVJqsaoTkkCuI/bvnfaRIZTPHiG1m3JTigX4nGwiQw5BjJ7h2PWXSiEwP3tvgfLGl4mI93L8oxQwyMlzVs8iuY8tdbi1gEXtNiu02KRmej20fcITjpsVlH2lgyERAetBCYhQlCEwNxYgg36YmBM+aBmIaBXk9TR+2F7apKOrDtwAVI1vgJGU4250zVVQrQJNeQRiIcWxOG50FHCjpPzwj2rv4i0sMO2pxNVLGo1jwuEMnuyaHZK3GXUGJMbIAgT3a/WFqBarl95jQIVkWioqg/R77KfjxHfaBXAaMIlRjAMBqYAslUu3SMfi8Ky50qTk+253GO0CiWeB6zhCxiFju1eo/6lYFMXHfH0CSarf+pgVefQmj9vHtEgFmD/HOB1wM3ZG/qI=

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1680923993

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%PROVIDES%
python-z3-solver-debug

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

