%FILENAME%
python2-z3-4.8.3-1-arm.pkg.tar.xz

%NAME%
python2-z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
165848

%ISIZE%
1952768

%MD5SUM%
04c6c58c2c71b54741b6bc3e4e0e4fbd

%SHA256SUM%
af6b76e8a9ac8c4e3c866278d28e38cf46ce43b5b09226cceb1dd2baa8b26f0e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3KmEACgkQdxk/FSvb5qaecw//XAjtFQXmw3pEnU7oGyzRwqXLgceJmM++138F8PYf1lTPa9qF5CGMBsiUpL4otE0ufjORylbJGlrcX+88Gk4ilGoQtHOvzsVAgLcvYxNDyblV6PnSXzqovo71Jeihl5aeVPq03zJEzzLook7ay2vSzt9amnoJhOGo+P+m3ZtVbdTSJcedCuZIw9kViECm/fPrGXRTtORgrAq7HXDYFxVOhTKvXPZzd6+rRVQbrlsegP4u0HeXn/t8xizffHY1GXBOGxjUjj0yb0ZN+MscRQ53ZwudmcjJU5Gs2Yg9I0cgpoQVL5W0haUqKrec5mUJlmL0GTlQHnt5lwXE8zqiuzctVBzbHwCeoquKE8Ky6XhxPHaS0DoBQG2+FZQNB11Jq2hBlVvr46aDR78pjeA4BfoYM2kiXsXVgmgL1GjOrPTTlaOEGDG9L9xEtjT/bGetWVKTFfBb8HKMLRL8UcB0mhsyC37QORr39NN5fatSAx2DvZkaBE44eYoQ6lC44tgY6H/e1t9TVMkO79+ua1Msk2otj4mpQGrYSX2+jOw1+IBPuUjytqoaK3+3R0hHlbIcp5hpZneXr87tumorcldhzfWbluTj5GS+ACikIXluOoFkKlmGcecwtPCUTRSt220sIewTJNT2bz+nilz8kggUhJmDL6+I7pJ58QstrMatZnXPLMQ=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1542924462

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

