%FILENAME%
python-z3-4.8.8-2-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.8-2

%DESC%
High-performance theorem prover

%CSIZE%
174920

%ISIZE%
1739773

%MD5SUM%
a5891d2fa1200f07b18ba9c86a4b06cb

%SHA256SUM%
2bb20f431035adc7fee0180d3e63f68b686d59a53796d3ad84d2fe5c6909483e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9WqPwACgkQdxk/FSvb5qafNxAAydTN8JLCdlhZ/Y/WAKFSAQRye7PSLjWwGiJZtkYKInPXzKvcfWP1bRt1ru+6ixy20/Bi16e90lyGuwrfj5SNGHShF3awH+eyj+zw6FqwzeOZnSCB4O2OXV2ziwz+cCVLI69EShyqu9P9frk6lnwUoMouR6Htqz/3NKwQCEf+gcYN/axfJot0kcE9InQNAJwQfcp9uzPb+YDEtv1h5jXQto4f4W1mtnhQos3/5v5DwfDHlpFiUaB9gok0N1ZbUGjjqhVv0QTMnbPS6bqh3XMD7pCzVNTh8y8NTQDvXSpmy2Hb0+vtnnCrzAZGvAVT9REkc73Cig6kc3uhqm8NDTTw4oijDRSZxUHMkf5HmbCU82+5+V2ltlRhOPGvDvRExXq0FhEMOpW8wAuEOV8yONyzXJgVaNOEJGX3V+x2iOGnBiuBys7xOBEXe/8AhrP9qYDd8OKq+5kKEuDkENkwuJe72Vgs35zS+IbhElFL0SzwoZclGk+/z6OSGT2QeIxJyTPag29VTmBZA19ZfEhb2VmaGZsi07j1+LusG5HXmM6UPpJXeeatYxHO8X17WBmUgh4vRZ1jzMC5jAPK1ft4PZLdSTimfATnHaSbk8wOR4I9qGTEqUgEyx54fwrHp560FwPiPgjmhJtwX4GkKJl//2D+zm3Sj6AfzMQX7CXdejLq8qA=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1599514442

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

