%FILENAME%
python-z3-solver-4.13.4-2-x86_64.pkg.tar.zst

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.4-2

%DESC%
High-performance theorem prover

%CSIZE%
274009

%ISIZE%
2591819

%SHA256SUM%
eee9cc5d8a193c22254e0f1deb9472782ef6d2ae643a528e21e3023be0656e75

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmeHoeYACgkQek52CV2KUuSFaAf/TxS/3tsAOkWMLyctuifyOVMiFh7cyoGxwn4aL1opKj6IY72L+qLCBksMgC+dWHIL4zyrm6l/AiE7kK1Mt1sXC3RXfg1Ms7I48Ba4n/7iIPjCnb/gHsEc6XVsLP9JiAhG3bXf9OBqHCkCk2wIvYSXFzynQ2/ArQwzSg9y5Otpc4HGPJDgcojNVgCbkM5X/WDZR9ST4tdagTQ3o8Zja2BDqcHT8E0QDqy1GoAqGFzper7eBIubF4AHZiwv3KpjZkT5wWuaoFbsKlSGaiER2TVM3Zr1BGehSknnwRBghVUhOIP/ROexPFG5mBabZdksXJx4s7dejko0sjaai8Qc+KWNaA==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1736941553

%PACKAGER%
Antonio Rojas <arojas@archlinux.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
python-setuptools
z3

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

