%FILENAME%
z3-4.5.0-4-armv6h.pkg.tar.xz

%NAME%
z3

%VERSION%
4.5.0-4

%DESC%
A high-performance theorem prover

%CSIZE%
9027156

%ISIZE%
33166336

%MD5SUM%
8f1b69f970c03260730d67f627945c01

%SHA256SUM%
40c999be0ca0e2629ee45b82910a31294d4fe817daccf6bbd8ef5f19ae0ac062

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlmgSKcACgkQdxk/FSvb5qaujxAArwIOILBXSwzK0GtF39GSAuVoysS8NzYZQUX3E4RtWt+lUqm03ZnxDYgs7WwGV3nMy267JfoAnP+JezMy5H8Gfz8DWOa8bnEce8oJFJ8ySd97eaXiwMvWI3C7+30+XAlEEvWYlAjJL4mK53oco2CJRPPyDMwx6/Ldxvhv7rg4FEsHAPEBi62KCCug8aqeAcavAOC6pwyTGsLPtZDH8evLPCZiphYPM0FWON+pzs/bHkQBpCd17oOJgXHvw2TmfUpCzQ3kcqS4K8nBYxnhwCXBfzFC4gKuf9Qe49F1a8fT4FPIHe2eoTJEG4GOTo3PBYpawS3xeRFeKIG1wKDy9Jk8hdEjvkn0UjgEHZdmPj1uVFWor2/LMG/WsZNOMwSPkRs9GbdX3i1ik+4k8C0UWKP6SP8Z9rShj2qmPnDx6gNpYXuJIng2t7pV8RKpflY+yc+dqPoa47ZevaEx3AoQaXOFfaItO6e4xK/9IH3sx0MtoRjDsimkUeo3M1D7mcL0XJfxuX05uSnlfVukB4evRZf9wxQPD57tN097pfd6lEYDwbbyR5vllopIokG0e2Lce4d7XPtJvRgmDaq3pfadrluDi3wS9u7Oeju0J3SquXXO8p5+BhPLmA02t3PE77mM2jJKMbt72SDIaR4F2wFieAO2olJXJWbMfw5X6RniqQcEE1I=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1503676523

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

