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

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.8.6-1

%DESC%
High-performance theorem prover

%CSIZE%
173184

%ISIZE%
1817600

%MD5SUM%
a2900f5c33ff0467704e1782d81d7a09

%SHA256SUM%
d1013f67f92ce74d22627cff80b2b3abc366c9fc9617b8505805ce53a5e446cf

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl2RNWsACgkQdxk/FSvb5qaYEhAAhtnjAikfC8e5Q5J1vJc82aImzEoWFABWV+3oyPb9aIymdW1rRCeUQpKSJ0mbGFslneQ4+sCjzoJbQlKuxMoeLKIcsff2vJkCg/VpDJNlFLcFxDQCfTxkrNomSMeLJSYTfjQde2gkxkLBe4JBte/xSctPY4uWLYT79aLoYYFWG5blxn14aA7mnAbT/ZSqsAbwXOg+W5KmA7t3K31haHEwxLbseVvY+HmJPhd0NIpsTiynYeOvw4vYdSVURBqTIuVe/8AjHWgTEezAHSfg82F9C9o13yQbobzLqxJ9Jd0yeluxlaG3CgV4D4lc28txpV0AsoEliYo2sKqGvAluvbtx67XKtYrHDT+4wGYEMbLEidRseWScN98TNzkzjtsrNOoG644mHckH/G+FzzL2qr0b6X2Y0Gu48uP1PH3NOz6glJr8lpeDYN1oBQ+L2zvPft4TPYesT4NFMFmvAsBy7Te68rpfgWQtizlZuAWEZb8UHIMJJqg46Kzqm+DkSv5n1SVF8gTlW/9hR4fVn4Ns9kv8KxQXgmnY1Oe0eq3KDOO0A6gNZMcEDVXuRClKmehQPLkyltdsRtxv4NA/8oJjdG6Jga0mvOIFf3eSIJYG/MJUURniTusL983NK19H2B2FH2VkibJJUGv7BpW3Hg8/p1RUoMrEqwNASz9T2I0OnNb6EyM=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1569797097

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

