%FILENAME%
python-z3-solver-4.15.1-1-aarch64.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.15.1-1

%DESC%
High-performance theorem prover

%CSIZE%
255020

%ISIZE%
2609421

%MD5SUM%
cc17e2bcc5201bcc6b75aeeb50090744

%SHA256SUM%
13c5e026b2cf541322d475108c7d2e2f8879be09f018364d8d3e3e0d1d64856b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmhOvAAACgkQdxk/FSvb5qYP3xAAxEA7S9tfMsm6qi/xTsqGPVYa2XOkcoH7qEV1PA/rwuTHqrUcfT3ZjKaFSaUhZ6jUkPSlcSiPe3UV3XSby/lVZghbhQMj7+0nOo2xwxiEG/Ld8p/pLurjf9i8av6uwD0BlvlmuctYAVT7bz5NKLx0sfMIUlBmmZwrwVNuEWMnlDzGHf3K94W8BYXa67RQNjVxc2TaQHNUrb3gqp6txLuP6Y2epGD9L7gewcAs/3AJhMD+yFpZDAEKpcw/0R5zLCkpt4sjBjQsr3WNcr0QYka/FBllXLggvTfZSHPV5odr/QLSM3YnXmoBpw2DL7+tb9WZpWVc9bcXA8SVjNhzIEslrU6qkC2F05GXq1diNj7w56qokv+7uxDhMH8a9sAxihygFgr+StQ0FITD07e5sNpD2++RJbMhmH5YE1gc3ybf7CR3UoSarkT+ga2GhoUjkgMKv99BSHr7C5IHSsvkmKbZ50by2HvHEpGRGevSXM2AnLudcH6of7ar0Tve6VBhJ00Ynp38LSztJp52QrFRgALiuZJXuTtR+geoXOaXzKOo13lm8jx3cXMiCEsDLgvHJSEVs+3MLauQOoefCES/nS95Da5CUaBnaqz3i6/EBuZbkAvxKObJkFnu2bfygLipw+mlwO4CtuK7YwdKzEJhWxpOaOYnYNBarcp8FSdry8sqGBg=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1749989923

%PACKAGER%
Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>

%REPLACES%
python-z3

%CONFLICTS%
python-z3

%DEPENDS%
python
python-setuptools
z3

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

