%FILENAME%
python-z3-4.8.6-2-armv6h.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.6-2

%DESC%
High-performance theorem prover

%CSIZE%
174212

%ISIZE%
1734698

%MD5SUM%
ed0a0b75a8d40f63c74c9697224897cc

%SHA256SUM%
5f9d4d7dc245523aa46f5e799315a5d5bd5773a996f298e1edfd2d4f3844538b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3OeyUACgkQdxk/FSvb5qaY6Q/9G/5k9CuhV0KDtKTHFO5tUinOOxMVvwXSgD+dulqQKBjuNyx+9nNo07D6n4r+KbAQTalKhfUsB8upoz0X7hJYgej+4qY9TvnxC34xgxRqWO8djGKLWEKg/avSsXglsBhuMCMbBTFeEpLHdQkmlqTppnEBFZaCZf7Eur/N7b2xCq30eQWTSSuhxfzVSw/z4KAaNPUi0lXjxgQVBT58E3VRSWrEcWJTz62m7HdP5+vqKsRNyOnLn7QdoN8f6HweWWuXZa7Sxs1RCZIFB4a/C/Tp12+2cGjBi1ELwF5QBSWqqbnfdkgkcXoM1nJYNhPVUo2BKRbJIYrNuWcBo/nQe3ErMV0cnMBvq/B7UmgnlTVmXLe5FCVQitkjod4D7zRSSIft5zdpi2Xg4jzhlqQ5qIcVPLRkUmKxmW9SffefgfUJL2N494ErSh5o3ntf+HNcuMyllS7+p74DL4+xTSNGafuEhqVKP4WVcmNuHyW6gSOXuTzw/yQOwXYzCSKMDEsws/pAokM6RPzlSiKygyB7B76jRIzGCZ/x3HjrJaxwL2YG/4E6GeE3D7Qk6gcz6o4xZ1vPjoQuiu4JilEPwFO6wIagAfDIXjNCVxyqv3SOTHRnpIHaH3h3ysMbIR76WlGMoQWmLEwumR+9CPONwR1kFkMNhTql1/cv/In5s+FrQygbJ04=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1573812633

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

