%FILENAME%
python2-z3-4.7.1-3-armv6h.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
164464

%ISIZE%
1935360

%MD5SUM%
e4b6a42458209b24491f1149b996abe1

%SHA256SUM%
7fc3aa10904959ed09cdb33a6a1d1891cb68299d55de2f444aaaff2358eb8daf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyflYACgkQdxk/FSvb5qaMeA//Y5uQbnn1hOlEDqeMZlHei/Rs3h7F24DQNDAI85IHdU8qsZLF77MRDB9XnderqRealQaIxL3D75j3HwuON5TC9d9vEefNsWtcDwiJw+GFL+NdSCpD8DmwWfJvb2b96kF2lKuAwlfFUUE+iinhUoS/nkuET3h/16FjDX2EW/ToqC7tT/9D+9+gaP0x+ndy+SgYI5j1Hn1+yP2mygc41cYzlbl8tR3Y90o7Fo3gndEClZwV6YBmoxiQkDhl0JzW55I69PA3bnSiVEW/ZYIMsi/HPB/HNX2KLJhnGBWw6KquGY0/F/Lt6tY6eMt7vQqA2I4h2LDOOZvxYZypmZAmljq1QcRE0kniXqL/7a7i7mOdBgFUaBFQo4iQIVfh4uBDBNU5hWx45i2li2YYh02zRq/ZR2zbj/apiQhZKsfWsp9G4jZnmSL9Dsl5AWaO67UPeIxWYLjmcHG0lXkrC1LFJdVAmAMYYXkK+xYtqmSJHAjD2hc5dtiOm2DLn835Rv3Afdxz0xhsrPZnqW6D+ea81rvDpBOtHtFe1mZKsN1ZPWVi68auEHXSGu3drkidrC2KJJE7Xs2T9VKWKPHAhzZoL5xq7O/K5YAOlmeblhLq1t46AI1seJKpY8PZWLw85FESye1K0Zx+oUrccKkHk35BEAzL14uRuM9FrmAv2FR4E0yLRIQ=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1538423758

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

