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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.11.0-1

%DESC%
High-performance theorem prover

%CSIZE%
185396

%ISIZE%
1749330

%MD5SUM%
ebb47ee7e84140e8631302090eca0531

%SHA256SUM%
08490cb59fee122f5be8f8f3e1dbb7b46930194c5bd1b84d90facca18e85a44a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmL/3FwACgkQdxk/FSvb5qZrLhAAu/elC1k9OhmLpBaKx1PAB3wqr9dHxXnndZXNZqPqKikg8LOmjEDMJEERkQqn9f1C/Shy+BdXL6Wb39NTlu6fn5KrNtbVnlDkkxZggs7Oz0eq1K2FcYcAKKH72w+gQooi4OM70eFyiUSnijTE1hvS8oksOPnPrghHSzjkpYrbcB5nXu5pn/ebRSNfAwt2Naml3C+bL1Jrxq8Q0ZCUwPUXVgOdkZ9x1exUtG7lWP01TqFGvXfY1CYxuu1NEwIDptC3mzd97qFiLmHQpMF/+6UJeo/eFH0P02mQ96OlfXDbLKRkPc6juOe+R4LcLK2w/Tbz8dh+jjTsS9CSIrZxhLb1sd+m88xDoxYnCwGLEh968/pCfAGI7OXOXywRPkzio1FBC6Vdzd6+YC9/yUq67OgD1Hl0ZDNilkiN+wLg/wVWXbFqFIfTcq6nrBH3DWDs2u00Rsnmz3zHp76OraHACPSehUVcPSut2mkYPgXEbKleyIRXxpwP3X8L3wgHphNTZYXWaEUA2AmyOg/mwYuiWW2w1X5Ggw1UZpMCCxoHGVIbibuW3TomJgj0M8MtBosQCh6QTWHMzU73i/SP2cGJvAuS8a7mhvmF2+Q21sSaEpHMZ7KJWRVvqbo30c4eFBQxklvYSGpTOAr666DOUQM4XnFiE9InmdggsBJ3Chqe1Qu2uEE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1660934869

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

%REPLACES%
python-z3

