%FILENAME%
python-z3-solver-4.12.2-1-armv7h.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.2-1

%DESC%
High-performance theorem prover

%CSIZE%
250016

%ISIZE%
2730625

%MD5SUM%
cdb62f37ddafa933030d1268c73b0520

%SHA256SUM%
f45cd1dd86259b5b9e4aa444b0ae61c7f3895434b2094c146b2c0e3944800162

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTwj2kACgkQdxk/FSvb5qbW5Q/9GOUd/Z+nj4r2cfPqFOkPu/wOkzFwn4ux3mGFYS1M4fjQVfsF/g8rLVv3Sod8q7doEfSAEYRiCN9qjCM6xWcKumqT3Fv86iDEzIqlFiwbTRd5+U8knpRxylsgHtDJNTw52gKb+icnXHXG+eOKkbrDDu2EBWsSMdR/HaGAS5C3OZlNIsPTUfVGkvbB1KM4J7i21ua1htWGTpDfheHIcGdQgwzJoP5RPYJDzledizskZPXlV513ZcP4fBDMkDG6+0HKO7okebzh6olz6VN0rnY4Sz2PZfUya+ibYGEcgVPhKRGA8+dVVsOP2cVCC9K/08pHbyO7X7801Bg0/iKDPoHM9HDjrMNZpWW5X07WPRKBib/+VejmItkp22jDXqcU+xK9LRxN05vmbCovV4DkZIJk26pV5+rc34JyY0ruNM2s3wOjRaYbtpDkmhDsi8JcheZXSGPBTySM+rtuWkSHjOTYKGcscnHkf2OEH6yFi8QfJHtRWyCRpYzl5U3qmZ/s9UF6BZQmNvQcyon0yRuCQinmjo1+9uACv75ex3CIuAmmyzzuVF+HKeGOrKWI0TpZO5o0WBCo42FVQYhL5irjhffoZgpQHUWVlI3gQrXHH6axAImZcxxfH0QSKm1gzlnMvNTvAaXj/Y4Zj5inbiuixbEXF2vVGcm5ZDZl8EkLD3njF2k=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1693486178

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

%REPLACES%
python-z3

