%FILENAME%
python-z3-4.8.6-1-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.6-1

%DESC%
High-performance theorem prover

%CSIZE%
173348

%ISIZE%
1817600

%MD5SUM%
788fd06a55cb896d73be381c0bb49b25

%SHA256SUM%
c2ed109a64d4c047efad12c45774df42bd4f94f67157761493d37d85c3734f7f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl2RNCgACgkQdxk/FSvb5qZWIBAAs6FcGiQZlCxZzzKD43KpC1xhJCJ1KqkVdU1FTOYeDHNkKrdFTrJbgDhhs+YXkwdvjC8cdkdh4XQFN4TqSRcElP8cWaJVEaiX70j91O6eBGnH0ZhRX6/Kj58gP0CjfhCeZBmCj2D2LHKmLOC3kWubDbWrI1SE0ITQFzgRZxVrB+T0AeVCByGRNlnb86rrKzv4OqTAYSozdSBiSGFosksu3oitzmtpolWruhf3uhI8AbqPVuZUpD8O6R+FOVT3Hti9Kanq0fPQeDLrsCZ15fboiULwOpobwjPUOpEi3jdnvZqkslxZMOKGB5n8WGPVFVtx34nuz5qkCDJD92Prv9nLxxswy58UhUg4pAGF0DUtlfOPWiD2wjuDw2qIy4bp7gwJsAoX4TDq2jQV4uNmmqBeM/zH4pNnshDhjjmcFMqSClzNcH+OzX5Mytb9u5VHLvsRAzwLxWFTNU5d0saJ2pV/j1JzmlNSfWr0/dW2dOjctx0Cd4Yk5qMJZQPLKCSLVqMp3cBtcMgpJ6G7NShkEsVOGhNSQ4hZy/JTATIyJJV/va9Mu/BcS/qmrN6oGEge/Cc32/kdgFg/leFjsDyi+hmGO40eAJIYs12CPY35Y5h4QfTGK5dcdmoegewxLS+D2jsrUgflmkVSjgKbsAlZZzRcVvkW+rZQmkg3LkTzCufQ6E4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1569796746

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

