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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
165996

%ISIZE%
1952768

%MD5SUM%
3fc96c07e9dd6ca13c20aa4f855b7e02

%SHA256SUM%
df3ce175a8f58c08b9118b85d57fd412ddb13717bb36e5ad7011757df24d2040

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU0oACgkQdxk/FSvb5qb4Dw/+PG7rd2CxESwPowH/r4MOobbWOeujScuE0Q/7phkRu1jzP2MDVg4NQbPNPLvURmNUNJUDZK/DekDfQ6UI43fxjTLP9FsGM7RNW1011+l2vijlg4Y+ycMZ5PIjPQLESQ2BAJiA4h2WherzxXsBQuMyntN3+XOs1gnaQwnRmkKNI1wTAI4N3qbHao+Fx1esEifpyGxgjKsWCiMqXJm/qN0he9SCPFhRvNU+1Sk6eQGkhpL8MpPclod0j6I6gX1EFwqO0Obej6KqwqYo1b9zSwqNx1fjFc8i4ShG0p21c8ahFQwT+g269icPiAkbasc7eY0djQ3d7oij4bRc77c9dYZx2qWLLb+9DOA/hDEdJyFcKn+V+LuJ3h1JcWoo8bc1NX/Za0V35KFokOC7Yydn91JTmK3m4SyH1EUl1VCPQmRsVGepRsm/3LtusIwoC17CYay2jgW6QI6WL9tduYfZHRiYKK7Scw2Bo2FNvy55JDW+SRLE8n7j8ZbdgSME58Y3akK7Q6XjgxyLyiAGIUy3+Lk/xsKHKOMiLFZaiHvjUIDVBqq0fJ0v8rjgFMkIDO3LRk+tR6JzCrUmqdxu1MO10RQqVx+V6CMb3+LG5nwHIc+iAcLlpa7EEk8LBgow1oyXBE7EeAdjgo8/IeHu/udaFibfkpiPlepi8a3WTDImZo/9IkQ=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1545425282

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

