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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
174608

%ISIZE%
1736200

%MD5SUM%
52f81f434208af54eb06afd411b413de

%SHA256SUM%
bc1345e650de7b75b1991057ff1267808f9711455780b18af8c4666c01f67866

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YPDcACgkQdxk/FSvb5qYGYw/+MPGY9p81SzU3pImxFcU+3tqa/pxy+j7UEOm5VV4XjdU1IJuV1ZdQ9iMQCKd1e4H1ppFwGp5nngO/2wcpJ3NAKK8S7XAjATXtmdpkZA8xQ03i2qExJHKPw+VYLjmJCeXc/mo1uEGcIqCoOy7UKfoBc5TXtilOkZCnW6RiNwDUzcxbMAzhfUiYwh7YKGFoG1qsDU5ypqBnQyx+r2grms9oy5Yh8T6C7vh2pS+bO4aQhNvyx52amPjFNtD1kJkLVdOhsYI7+Wwo7O/RU0cp5YOIRX9fSKXxiB3VDFpjaeee27IzFaDt70p9BZHOSH6oRYMgPJSGkAyxIue5bj7mM7S9+tuNrIJ4rMFSawNsWLhQ0yUdoaZfYLSXR1O5hi1byv+aUxta/LCgD/52sdYM0iJraRs8snqPQnYLms8tg4SF9xcMhxaBO/o4LdFCNrNkFkZgIlah09b3dyHqCZZuOE2LqjiAdJ/Jh853nX+9vHt13xb2Pllau7EiGzI2acSEsq5YyV5lijl+aUs/jahsV8M4K6Irpn0ckt9jRB7msi9C0vN8XAtU4hImLpQSVyNePSepK3iAeIN372Io3swuK2gxkTxpU4LyEywJzqQbw/NqOleZD4LoLqoPPKMXr6RcYNwhfH97PU/mfyAbTLmI8eYWPcmyP0JIyVaLZzFTGVW40q4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1574451817

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

