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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.4-1

%DESC%
High-performance theorem prover

%CSIZE%
271639

%ISIZE%
2566705

%SHA256SUM%
54f95c1e6db7d62bd8503e0ec18a5b4951421852b43ccdb394bc03e4253e2093

%PGPSIG%
iQEzBAABCAAdFiEEFRnVq6Zb9vwrc8dWek52CV2KUuQFAmdsb0IACgkQek52CV2KUuSHPwf/TdYgnp4MurbhX5timzSMnOS7lcKahKlHiqoze5ef2Rr9u+CiJSyeXu0JUTtByFSi9ulh3Pt5DLYVc35VgHDYUZ2O00BYIU8lUZTcY5u1COiTK2045QL1cDUGMT/tchpWMICHeoP1Nweh+jRSnkJWyaNERW2qRfN/xuAqq/eMOeIoAXFuN3fdwZ2FD/uS/oz1LSke3j41vmuDlgqcWWYB2uOS8mtnYLLThK9FBIgctGTwf18AS5WNwR6tvqSS8KMWhvU4/mMZngPjPfSoAlnuyh1nSQnFSBm5SWJD86pCJ4rwkm8J++tkdbPXThRKFTXUzlTtJv5QHBS1uYxV5sOEjQ==

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1735159344

%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

