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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.11.2-1

%DESC%
High-performance theorem prover

%CSIZE%
185368

%ISIZE%
1749330

%MD5SUM%
e7c948106f3ff36869773efc0773710f

%SHA256SUM%
9c9d8eb322fdd2500195af8cee4328a204dcdb0d517de6da30c9a573ca13007b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMePiMACgkQdxk/FSvb5qYV1w//VYZT/91dxN6dzDoxiIvX3IJNakdyywS+VXxmiQTr5XhrE1Zn3q2Y8aXlxmCJgmHki9IOHi8dqD4CHtaik+aMA4xHh3NSM8quwcnBNrTVEm51On0NpcScfEEEpRUrlGGUaDTZF7uwZXMimz3W58H2IqZ4A1ecpfFM6sG6ANLFGZ7iEZoqI9EIA4SOf9BHifJpCm2kAg9m27rHUs9ciPdWXRR81SzvwoXyIqPcboJ6LiUCH19nCpINgOVstqBmJ1ekX8+2U8VJ5d9Kv2xf/Ut1OZzT/+kRI+ugBcteZluBSbtBLA+x5H9Q/jQeJFcJT7eQoRifIniXrY34pd2VKV+/vwVnggfr3PSIdZZY3pgM0vvFBfwD9KGNi2l75V4fgaRZFOTm2i1ZEvA0RoqrVL4xp7UPI3PSXE9heWZxiXO9IjnSm3571WRUPxTOcMtgY8YDimnoTh/1L9gOYW+l6sBUeZ+oOtiTFcs0wr3CxtPzLCYtMTMtYY5TEM+PQ/Lg4f9adlzJoTMDEh+NBWQxIKGj0kvaM+KmtwdxA/XxOboqpDskI3wl7AkejUHo7qb0/nGrIsIOOIcqcDw4EuGwOfPbXFIF3W31hNEpnnoqtZ3j9FnjdONi9s5T0jVqgVolt8ZuDXwWI1ZPpKGtq9P4lRRqdNr9L1SM9TbQSOkUED5W4Jw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1662925967

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

%REPLACES%
python-z3

