%FILENAME%
python-z3-solver-4.13.0-2-aarch64.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.13.0-2

%DESC%
High-performance theorem prover

%CSIZE%
241984

%ISIZE%
2605111

%MD5SUM%
1848aae01d37b1185c58264594b02391

%SHA256SUM%
51903fd7289ef7c631e438684ef3ec8d5f0d5f4487ca9f58107e7c53ecfcc837

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmYt2SsACgkQdxk/FSvb5qb2BA//cSwQBbU0PHwgd6PyW/vfmsO/NMNP3rBZaGaciiqFI2u9h0USlg6ylHXzmY3i6CyG8s46PX4U68BcsvYioZANjAfuyy5tyYYTqPkhnz/hW/6SQsyzD9FSzJPeQw0mE4qKTs1C6zzDtiaEBrw6pzsa87v+jV7wckiF68VnTFiIG/4KSwSn58dhE1TgRzlXif8izQNvcifhbHp2SDYWGvWGpLk6mahCJSTnVXUjU+uWyCCHxAVQf0Mt3jj2V6LkTTDw097Ul4nrFW+RKVdD2vwUg+knjLETv2vIhAy2sszP7a9wAp8ZWR9Soa+4P/ZyrjNcd+NzDqQUBtXALCBw3rTugTmmvOO8K8eA0eOTvZFDtGYK81+fYBR5xmnp5JvZoXzgyXZdMls+YKS0QEYJ6vJaezUEIX2rPjpCU4Zf692kdoohoNOi1cEoFrKaCC8lFcePWplG8ZSTFZZjZ/b1FiUJrlJF4XUDx0YHF7RKAjS7xHUtH1SX8frf4Tj5s1KElgbDh0f9/9VHeU1Mv5u1cRaZi1ViBpaetLFgLgSwvVkqf75ZRFdc6KzzL9fgXTUssCdvRSqWRsY/ov5hRA15WdzpXxscIcpI576we3ooGo8SKknhXO/l6B+nb5+yfrYvUoZTWju3auzIC4AjSFTcOWvjyQKN3NDJb5ozf4aPlgSCEjA=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1714280359

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.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

