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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-1

%DESC%
High-performance theorem prover

%CSIZE%
168556

%ISIZE%
1721344

%MD5SUM%
22b5d76048ca2795d39e90ce75e0a4c9

%SHA256SUM%
344b4bb99d4674a246fe4a3d02a03f7a04029eeca4cf22d7ef3d4a531d91e4b8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsHSCoACgkQdxk/FSvb5qbveQ/+PPN+Z7IJa5l+C/0o9YEJ2GkH50TiUxpjo+9NMvA6qtkNo2+N2Kn+r5IVLEhkz9vJ/3BgDRS8KwskX2fXSAuONKgdFYpnRszyuAxV86qX0TnrE5ZMo9reLFCjKf7NrgUMT9qCC7sTcpXKXOMEXP9XfsC8UhIl4gL7U2gsNEps6pSZbqULlA0dRXOI2RNUsxBEd0v0ajzkH7l6EH/1fixACkRNdPxotW7mwQIWqY7rH5kBo00IUtUoYb2rITNxAomkR6ByG1B+7RhWhBDNm+wd2ddB+UuU7j3wWn44VshHxQLeMB4a6uflx+gPN8fvP1f/tNhiu0BpQGxGWjQlj+3WUrNLMkNXlEGSYAwi9/L2gvRsnqLz0BbeDM7zRep156K/KkrwgkvYHxS2UTDNFndmp1s/m5dTtGbiEex7EFXhQ/bzUf36PSuPWjmU6V3b+crWwlD4X7NBcfLHy3AVDgELa8aZsRRh3eHmtrc9cmdExmN7ZBElQoyf5q89j0ScL3onD2iaezgA844tABwW36al0JCzCinVSX6e6BSXOb8ZqmdG4nFX0SvWzUIGs94FBgRsIalo2YySUtlHNzfSE4gCS+clD9Obm9Gnb3bqDQFS4Jk5TStM8jgYrXI4aJWQ9/dH84a8uKkkVQvJWwX18k2Uc0ovdBS/7ay4R0hJoWg/D48=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1527203868

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

