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

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.7.1-1

%DESC%
High-performance theorem prover

%CSIZE%
166272

%ISIZE%
1935360

%MD5SUM%
f267100d04d273c4286c867d723aa296

%SHA256SUM%
e9cb65f20fb7bdb04294137c3656ed0555d96ba21bc935cdb1ed6eb7c5f265bd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsHS04ACgkQdxk/FSvb5qa5qxAAqm+o9p1r9Zum1MEtDKNJRRj+CkW0jvZnIhtgpNbrxIUQdecnROFO2sU1zwyipOo8mccra5GS1q92r18fGbhHAJD8tyELfhBUjcVYiFuinrTpNsYNY/qGE9YgEmIiy+D5H87YcuqCTkN8dU/g1QKjDwFpx+vzKECdw4eCLLDRqfVAV8jiy0Hp76R03FjubfznlfWzE8UAJSKtsODmXeVR5OIBqHG5dk/zeGurCDHeM1y3nnrKv2LmQ7mbF+nDWBoc3oXHqLR5GbqkugC93OG1N1+NbwJiXy4diPxLPDYXKhKImhpn15zQx0pO3dhxDd+Vy17s9ljYYtOyBpz083dnj0DBTaWPdT/SGA8v5J/RV+CzdcIMMndu9af7T9jFRz5NzdGggdGE7PIm87Ug99TDCfxiD5Vfx1c6aKrY39kUVBXvn/bOIQ4x5E+SLO1jYV+usVevBIA2elq4/6sOJ/ROaGCPQ34WpioEiY3yBC+xnMCtpxx9YfMlu8UyC/bgpzJkAFpoLI2578IP08C7LGcJZFNSzq1D8wSzRpFBSN3jdFj2HdEdhROW43o0OV88Dpsulq4mdq/tK3aCePgYF0RRKV7GHrMw9E98S4y1OM4IdHDcYHA6CZxY1JLo6YkZqrDBqfiGiGAKYZ4eMjPcfz0xqROiCXdfkzueeDfGQsUEoso=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1527204680

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

