%FILENAME%
python-z3-4.8.9-4-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.9-4

%DESC%
High-performance theorem prover

%CSIZE%
174020

%ISIZE%
1770460

%MD5SUM%
f8f8102ef8389852b0055cbe2db33c73

%SHA256SUM%
8a86bd52bebb3e193124e192a103e319be571e9569ccfff19a675935c52c0d18

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/Kg3sACgkQdxk/FSvb5qbZnQ/7B8ZL8kRVJ23TyVzUUfNrvfSUtb4vglhPURuW+Ukd9xvpxumO0C7ZymDP7FOzTUX8+W5w8XiDWJ29crZcCSbs3anWt1Vw2cCnobn2kEaxrE/80dpdK0Gh+x8Gj1ihzLMvWTrzvOj8TxCi9SJ7/SU9B9QXaJUpqoaS4R5Ck28PJSiv9VYoFISH5z5GhrvVZH0YxqiB8sysgsvSLJDwM2kbaDv8l8B0PPgIGurWaom5jZ8IkijfS2ClZEOJL02NqErJ0gYjVLQYYBMfY5y3yALUee6yeWpgSRTETrxWgK7xFKE1fbvvI7I36S3cpGbgtX+Ute7T8LIwFnE/Qw849SkSBRVsa0n2Nuvrq+XfGwNkp13ePf1DVHu0apuOknzhkLo9nWZRKHeFIZRqFEXwuWx87WFOAUgLLc4kitRmwuMJysEYb6HedbBIs2UPcf+sAr5gvIBSG9a4swKerFYrqwjkM3eEgsdxBqnXcxf7Q4h2A5S9PgcPviGshJnkz/sMBF2UQJrYCQidVVMuBTjewOh0MUzwiu6IlamuO7Yw7m2BfTXaS8lDOX3RhSOBgdawiKBVLhQHqzbzFYsHbEqge5974smpgsjs/MsXLQB/6N8tXJUUbXEN/BI3uZeT2PfEbFiwPgSp8S/pFTZttz3CgAY4I15zrtWSX6lKYWLuEIB6YBg=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1607106793

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

