%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%
iQIyBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmQw3oYACgkQeGxj8zDXy5JohA/0Dw4zFpUgPh04qMm2eWBOUFYmm0NAJghJX+dasLoLm1n9QL0vRIbWAyDyafeJ0ZyMNUgk6PMqRhWPAyY+eF5uKUa5wq53ZDOV+C+FnRAcD2I6Bp9y6gtlqJTOXOhy8n68psfETUcw0p087Hs2PFUWSOiEQp2zcqmRYoiXSvrArv46FXgneg0skXan2aat3BDWqDWz9NjVUqo67k/5510tvFbbfm3FpnqlHDsV9KRmsJIWa/5oLZi2wS4m37874DiHIP4xfYUz5Tt2ulXJ6H/7I4kkh2BLoKbmb5k6Rk1HcOeHBEkw9Er72krtsVeBxg7MVKYop40BShXmZjdWPeBgvJkktYZ1VmxR5TN5aQmKfoLzZgv6tI7J2ur3HVw3Nz2pFW+wi3GfE37RcHXoy+vijqQRPkIUUUf9Yrhuo6spNDiOaIcRaQT20kJ9OVea7fgToIOKkF6u2raRGFejmFelorGhHJLzDnZ2QTY67nwqhtdZv+YE2ZuEUsUBqb8E5L/VxByVFtkzpSDw1hJNWGEHTzR2D0d4NkrtyhMy3MUAIAQbRs+qm3bxUvNs/K2+V/cfh/gabmG3uj55IT/XV72ujd3Kg7TDCzm7HiGh6/rpIbWIfeblo928S5FFRieZbiZwtgv9VxGaVRVXZTabW1L4RxfWwwrHk/AF64sZcpOrnQ==

%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

