%FILENAME%
python-z3-4.7.1-3-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
172216

%ISIZE%
1721344

%MD5SUM%
1143b2ed8165047efe8519d55663f6a6

%SHA256SUM%
6dc04bc56b60ae1a0a492b58acf14b99b1672830113b5174807b2a7712d1ea83

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyfiUACgkQdxk/FSvb5qaxrA//UXnf0b8lDy0jcyb3QQs25rFvIxp4bjmrR3Z6FVX70U1V6b4p40zW5YHi3mdhBYVdsDzuoFwurEleEnlJJVakcRu25zcwanZQhjDYDF29s2SMHHBcXruip1gGsJa/zJUe1snlzUxR09AIcE/HMxxNe4hFxovYa1u+OnTeTE1UYgCYaLmzCVnuPvJvqCb/Oe5rIteZESqlzwoSkWRj0lBFI16cYwG2bEmVuRDNR7c5q62LgHhnErurcySAsY2x9rgz21o2vfo1KJ1+ixCcx5IsBH2R6BCMd/KfhqIYyU5GcuQ0R300qbZNZMjYPmDnnYou1rehDv7y9+FSFuGKqGQ1xwVb4HcQCFUV8hxL1b4WsdPvoETPsAvevl2+2SL6gJUm31FQQWcsjlSrnY4fBT6IX3FbqIv4eJIBIbL71hSCcI4IkpTWMtz5YKmSAi9MSxHCPo7B+hbxjc0Jpjhmb/U1yODf8VRfX3RuqZZUQC3o0+P2cNwRf7VnITA5Kc505UKQesC8pdmPfF0E2V0iuCfiNGuiTfTM5qgSoGsv6VlNZcByk5WUu6z7MgwZBw/uk+5/BmRKFHY4biKqdimjQsZWN8jsU2uZ5bCNIB+WrcJlOr5uE3u67ZRHYRNdOe7SlW0dE8CVqE6M4KoOcZ0X2YRPGDYUegbxGsJ3Gi064xK33yQ=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1538423755

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

