%FILENAME%
python-z3-4.8.4-1-arm.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
173608

%ISIZE%
1735680

%MD5SUM%
9316e6c4c1193e30f8bfe8cb8cfb3c52

%SHA256SUM%
09ce05d0dde78de43f13f59bb70a9dbe285047210b3e9d04b6a812edc73c0360

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdUykACgkQdxk/FSvb5qZjiw/+LT8utVIW8jae6YP3yraOA9ENO7/oWBw196BQF4MTDPF3LltAHvuJFrr35Y9kXOqNQAQjSClYePDhVW4b8RvFroxPyZZqA6jnp+eaFbPnkX8QWCYcgBuO8uM9OXZrqmuNZHvsDCNvAdnpyAhiikKfHAZnClVPlvTNaorX1PO2/uMPndQ+0p7VWW11lNg269+p63FvE/cGtoN5RY8fJ3mpfspblaRVefeWrrYl5tXlha0Z7y4gw+050yWtYuprO5bzcUy2hOzEXKMIWU1RPSuNcONjt5MG+v/z2UZmdb6OtbM0DSqopTWHC7i+FByI3j/Szh1skOdSj4cfP3jT+edzCdJnimaaLrq8c3UM1+T9S26G08AEP4/TOFguWBDFCQ+57uTwGNaNjV/504HzRmew56subjs8Xa21NUowHZ5gBD0K+/pGZHXa7LrmsM3qsofKqZQEN7jdjqXckmvgnpELprVr2GhEyDcR771BLM3EGwI8RsyPE+PrMXnVJdE2SQYeAPINDqcu8Tgm5wCHknZopb4QX7R54fsnmtliSSbuU3Azmt/dts4mcivuVoeSUa8qggQW3XofAiyQ5kKU+Qt/3LycfO0a2gCZhDcvs0psE1jP1PDsN0ddyU7nI2EipNgKs8/cwoqHrlDruC5d5u2U0iPpDquKcPfFp217Qew3Usk=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1545425279

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

