%FILENAME%
python-z3-4.8.10-1-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
173680

%ISIZE%
1766445

%MD5SUM%
ba46065cf06de727b4fcf6957fb07269

%SHA256SUM%
dc52f570eaff14fd28ad3b6c25fa1facb1be278a1ff5ef3d8ff926a9228e8a24

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmALZrkACgkQdxk/FSvb5qbdVw/9HteAXUGkeTI7FXpNMYQusRALDjRmxMPIOl0I+Ts3pYeyivCinjVJiyAaNd0Y1nXdFckh3yZ7EOfYm3e8E56Z+J08HVTWTfzIcqQ23Tcs9X2Cafmk41GBA1MWLax6r0LiAUxp0HR8e/cf2nNxbcSkCmoA4+PhudscpnwpP+Ivs3pf57jdX32C9upvLtQhL3YnJhZkC8d9q9qHs6WiJkaDAFa7DPtrPr8QRwP477On7nVUDD2aIbrTMt6f09iSxkj62wxhlg0Hjq6YlXM0IrNvLU3vCkDEgE/j9x43KJwJh5uyWxpzci/ocsDT4Jj7pbHUKqBA6Yn5UxMYuI1W/kSz2TacsTGBiqgB0SdSaEJ5VXyFqusUKltECcfBKZurO8qNB/WnP2AOfsFBcdCORxcMLr86cmU+V7J+7at/3Qn6Gdmui3EmddAFWI+DaWXIzLrf8l844DlNEWuSY07aFQJGBwMiUatUQTaAH5/pxYpjIYHL9KeHPMqde8eczzS0FhKHH5rnBoQkOturdQ4Y2wxocpj1LttHaIohE+mHeZAO6MAgt7VqkYXx3hua3ZB3lPTx+uMB6HSPEd2VkzUargUkK/dFC1qTidKbI6wmJwVLmDOcxHnwPgtFcg6TxDplIXedAyL+rI3FgI21RbGY4DAGAsx5npvPJOuorsfXnXvsGq0=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1611359449

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

