%FILENAME%
python-z3-4.6.0-2-armv7h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.6.0-2

%DESC%
High-performance theorem prover

%CSIZE%
167136

%ISIZE%
1708032

%MD5SUM%
137f80959042fe9693f8fb558ebe3417

%SHA256SUM%
042759c202c294ec30ddf159ab31be530c4b90c515a43a15d6af1f97c3faf6a5

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr0vM4ACgkQdxk/FSvb5qZy+hAAlCG5P45wgIBLRXVwP0o86OQzXMRcqGpq2IRZ46jjertEBBTUyKXDvRt/f2fu4JZ6HMgavEaqELDI3D6JCT2t5lNoEEuflVtLaVp7aIhrjiyaH0tBw7MI7W+YWVtfa+1ZjKFnVyRJcWbnCTOTeAvlGv7NlRRFF4ArgC1zZEZ1I2MEr6voWvjoRWrE6u9ClcYQecOIqe3jJYm/3GEi+QjzThMTTkJnFLDFePI864BT8xfznSypd6aodooGgZ38PeoT6pEA/C9vYhi8gDAABYRAusArUNOb46jOS0FS3yVaSwl7Dtq2PM9yyrTJsyXLUaeBehXas4vCrLOcYpT59DPzgAJUSgF1s0P2CBWvfO2kbsnuXcUleLij6zvftF6il8Sgs2OSxcAu8a8GyIUhbEhy6bQNABfiDyuxVTJJcTb7R47guyeyC+lKCb1qn34pLmE3COIbwO6ku9P1M0KE9Ct8ZDK4rjEzxXjs2jMvizt7ffDbX+jNp4xwdcHUtFYazDf8dHuZLtlT9rnNhQ/jO3q+44vnLCnp20OvVQL+hhHBPkaMCmt31UbvYKO4tJirIveig+9jSAvhojYC82GFHpj12O/14EucB863TYBZ7PfNTeVZ7W9dyd6NBGSPIQBdo1l8rGkIpV2MYrfBCDxEDTp5mOOIfgw8PiREiinm7jr9+FM=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1525988545

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

