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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
165968

%ISIZE%
1952768

%MD5SUM%
777c22287ed5e268454dd6a8ef088c33

%SHA256SUM%
dd14a384119bbeeb1980e36a5b438f769b73a5944e9cc72a816802655e0e48df

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU1MACgkQdxk/FSvb5qZsQQ/+JjG07TvelvRkPz24ldnNEoAvne8uw0biDIvjCbYi9UykxzNVGqmb5jtibd0wy36JTgIDj/EfNwhA9xkoSQ6lxJUC6v/5mkMhi6mcZbkGnim3sdZOKwtIVKmFSWXP2pwQrz8zNcf1liERui9XS18NROZqoJPScG5WQaQjfCvSHPrhvhg1BkHV1E/X5HfLLLiKOkv40FmayKDDTvbg8ecmJC8YvlC4DErqmpbqPrNWwCQa+FiddFTxucUerKQa+RRBrHFci/MEH/+Wwr5jbDpVbPDE0zk8N4srQHHi6sra5Nl9D2UUIHIvSsB0ciZn6BqZqz6f4nH8JW8Wrq0RrJY7aneAcYdkS/Wwvs8sZPWTf4N9z2j+GsLb/fy+s1Sh1lPNflId0nObVZNvyEjnutTZN4koPoQFSHNjd1R9+4cWjbR+b98KSPnJ5mkh89IEAeSsyFxEElp/eaB5UHOSCxEhImrVBmrHJk47X6qVj/+nYOoVxillbd0DBdb64ns38/yGhIRli19E9Ooz7sZVKoc2v6hRraWbQVzhdoiCH2NrTtoIRUJHVxkAByxAu/3s+jN8qR10flBF7bm+l+ewtJqlemr7g2Pbh8MIkSz3vrPDdaxym83YOhJOxk7+E6cqPvFQgTXhBwMycbZrgEuhn9VP8NArVpY7reLytmO86p/dfH8=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1545425278

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

