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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-1

%DESC%
High-performance theorem prover

%CSIZE%
164248

%ISIZE%
1935360

%MD5SUM%
3faef0531db91a8bb47f2eb95785f631

%SHA256SUM%
212a6aae36b7e870b55d6952a20f67bcff551fc07f7ea822a56c8413837a104a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsHSCoACgkQdxk/FSvb5qbSMA//aKF+/LuhwS8UYvmKIyWjrdAonCgJFo7sNg/TaPSUr5t6fZ9TtOH6ProDlYGWt/SG5OES0ZQyrx3jDKjlren3/xC6wl1var6eepYa7CxohVeLVS4w5u8NX98h5+4o8cZ0hdVNKT+pQoGYbW/c5goZBCPn5MDGMI3TnidDVdj8QGTzyqplbbAe1kNeUi0iucKBchS5mCEx2d0/ELxqEtRPsZJ80Wh4wdzs6ERcnzV+5brQNLHIuDtDN+ySX3BAoHt9Chr8jMmeb+6WnxKuGfJ78XngD9MR9syzaQJxhIMydynZRzaNJ5exE3k6kvFc4Coeav/Am380JbJb59nAuTDXZ19YM5W+uCQHSmCGocSXUA02m/8u+QfgD4HeVAlRZwLVudv97tyeHRx6u1Pq66TCVTdKxmhFgP5ml2MHEzxURtEER6ZpFnlhnIdHfBroogb8lBxc/EVLNSh/5irU1ZwMGvsxNVfO9ZgKv/JlX/53DsY1YexjO1tBrs+Kz77jDb9eUFUfSF92wXUztCYqPIkvu7TaQTIAEQ/YaT0ujS396z/n9qhy2ujJbl1I7T3V2tj2LergSZs0vg2vKE6TaUw423VKmcoyORwYackMXDVeQsA42UXmFOitYGTfSnyj2MIdCafvACVDkseCzmUua9YIfTZenHydOf/AcslimKz3Oio=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1527203877

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

