%FILENAME%
python-z3-4.8.8-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
174792

%ISIZE%
1739773

%MD5SUM%
316e1d7beb9bca82ae2775826ed85e25

%SHA256SUM%
c3e037f9daf8d4a6b443be2c440d75db07a32132fb982b275105298edee582e6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64fpgACgkQdxk/FSvb5qYcGxAAguVQbVuVCxUi3mqUK5UV3ssH5t27ao7BD+pq4c48m4PL1/sKy082jN4eYhcSJskw2iWh6zYV/aZ+wXCdfcnZM0F2YfZwM1rvpHZaothT25N59nXt8bwxeSVmMYNxfUVlBtaMk8Enf21o1Utb+k1xZhlxCvpQh/08+zOa0IkIy/SUffhSxIRcTfQlywUWkWcrpVSYg7lC5Y3zLkM3haoB/IWMKes0gp+lDwzDaYEr67gm+F9KYUL1mbGtaJDnVLu0bC//2GV97JHVl/jXe0r6oGfs2KxBivu0ZwKQQQlImJhiaPVXJKtYNepQolp6n7E1Ttbeq/t2JyD/ThoXQcRDPG8jiNPnqwBRJy8sS0VQiGu3QONnTH5RqZmWKcKyRwBO3mmueDBXDytjkJU5t2GNtuZ4B7UzikY7JPmHgeHnleqKOqG3GzoavUahTFk/85TjTI5P/qE6fExCBX7MBxCgiJ1/x4CTj5uFRQ6b+7KwjMKu37hOU3CARzsEuW5ASf26jLBz17urtMXsTGI6hqkOhhMOo82Z7s5OPoJ4pDM3dS7VBpZeW9eJtguSqV/3XrbE7lgB39RrH8IYxGjKQOjxVHyp+Cenk2GOUSnkNaqqkzHEScOTqjuKBvATVCkb96PFwkinYKI1Y4zOuGGW+D9wJ0WjsHfrAe2mubhCvme58to=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1589148896

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

