%FILENAME%
python-z3-4.8.4-1-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
173600

%ISIZE%
1735680

%MD5SUM%
d7f75acb4f0aaee4f006387871e7d20c

%SHA256SUM%
dc28c761d797613d078a51be24f858180416e6402ed92ba91a5cf7d5d090c2ae

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU1MACgkQdxk/FSvb5qaEYw/5AVzCPoFj/vj+UFkOIcmFg7yk9I1J3MhTLdmwzRsRl5ccmxepb+yrc+Oq7NBP4UhNQ4PAHw5dHONpPoKn9lJ2aF5NnklADOQGlI4YfjLGYZZ0OHJOpZVwNG3XxxjZh+m7UMEU00qM+kTuYriWgDqrTcKyzQG7jQY7iOcluGG+BFp6flZ3r90e2CgcnL2VJdSIv915dmpXlluEJyfEVbI8rWaETw+8mGzGHl2GP9PKsDe2BxDTA6crOj7Ubft3ubSmxEfQMCYTmS/nAzIjLWVZlTTOwksv+FEe0Tu39K01koUGD0D4BBbhGQ69yeDMoSNlqC85wweV/yCXZqTQsilNnR5n8lBcz3GKe9TQ0i/UE5EF7Jgb04trQb2k1eOQMors0PTbmDcwvz0KwAp/auD3zqdiPZHKiiTUjMSUO/Vwq+siU2Hb10uBbtX4G375eGKmoa4bEWvTfM/Y3AsswPgsAhNdaHP5qThdZlw0cG1wI8Hrc+M66drz0qb8M8YxFhK1W+fqTlyICs2aN+5pnxKwSgX27h27K5Jafx6vzbGmDmc2JjUjv1ClZ9Ng6I0GZf/iyOaYOm1G1qmexL6dAZrOd0oPPyVkPs5WSshdqZI2YhvvphvwKR+7OK3Rh4pubPmIr6ezyMoD7zR8pkO6ho939XXZXrY9uYVQrAiVkmZVtRs=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1545425278

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

