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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.5-1

%DESC%
High-performance theorem prover

%CSIZE%
252532

%ISIZE%
2767140

%MD5SUM%
c054e2c81ff1a3fefbba9f22aa6fca3e

%SHA256SUM%
ebf3b444d0f527282c5a8765fa9d870125072d4f22f523367962ed8890d03ff9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmW0XHsACgkQdxk/FSvb5qahyBAAoaIpxfoelgX4dNFmjrN2mbNyCPi0bC3A1wwYjI4MyIA23VjleonHItHjhBvTpyBXdANAgRiz7MIF5iDNEvXjcXtXnJBWT4GlgwdKVALDqhQr92b/VLhC/qgJ7mFPX8iuRAVE2MAeD8DsMNqlbi6kJWJ3y6qyraSjyO6XR866FRAf4iPQSoAcfKMn0mXCBaM6CVSKX0veY32IK9rQX19U3EeTo95dh2d5RADwlG2/zPQDA9jhqFIApiAWrvvgbuJ34QsB8X2e9cFmoPT9wQHHKVhOg4EwtFhNM4Bu+yj+TqrovBRqzuxT0LKD6i3PXchA2fMlyi4S775pA9TFKHFK0OEKiUvKOOCDAZaFxWcQrit+JbOv+rI4VHtUqcuvJHLG/VwT9pKIMyGxCoQQq4P1kUXSs8LR0qz8DGO4+5jTN0VTF3WKXABOJ7e46KpWojWJ25T2usMJehoC4jjjACc8QeE84fVa6jaU9zL0HyZ3DN/ouA5va/3KJEnVQWrRkci8VLTjf7AtJVwToy6WSTqssE0zX0qGmWRKzgXSsaEw1+FbIpPE21d0xa1KbOz6BoUffn7PceZ1x7YzuOodnJin59QHRKLGoPepMI+GcgrKLSlNe7IvOSplZPvEFSgo7Po/4cuCsgrXPvo7FlUan+bCNRpDVkZeSOX0io3mugr4hcg=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1706318541

%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

