%FILENAME%
z3-4.7.1-3-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-3

%DESC%
High-performance theorem prover

%CSIZE%
10391612

%ISIZE%
36448256

%MD5SUM%
174c7526ba41e6ac84312210cb30b19b

%SHA256SUM%
f9bf8ac684be4783a24bbff29e9d143cd9ff383a691955aa9098429e38189333

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAluyfiYACgkQdxk/FSvb5qaFeQ/+JzmHd0alFDaSSWJEF5J96KXn/QbsYgruXjNu1yOh/+PDnkDIcza+aV5OhhpDmLjG/ORa3ho59gQp/fVwJipt6A8hMsjomytz52dpVqa3Ie8lrMe//wdVfzkxzSvX2lwwa3d5yR6O1V7dK54GIhyaODIrCYGNc9irszB3RqO3b2p7prlfxdqAFQZfla11uLlphzESdWVw78+acbfHxDCgRoohJFWYwEjOgrkq6BBe/417gIW+AQJm8mG2S3nrzBfufEU1nYqwuRzJx3F7vaQXWDDGOyy2bjXMI6dA8dHfjfGOHxn0azj4NRBCdORvBR/G5aDWTfgWDVVUo8332mTWQcKp+xaEejJ9UWDYhEB84o+6Fz0Da9ah6BW2jt4VkohZlLNKzMHlmvwfxKQly37h2hzvudPaA9NnXgTyPyhYWGTGMbgqrAhLAZHAueSE/ybvepNzAb9m1VGe8MSvtaM3nqp+V8LgZwqeSgKSvpLu+wdgAl1j9Iy7ha2wmqXdQAazSLURPz5SHIYN1UR5nTztrTpE930ByCCbeTjrXHYNqvG3bkjNtLPxRBpPYq9WuTYMmPwBR1yiCCwhn/0ciG3wt7+znCOpJTfOb1pSTsFjJoGDf8qtW0+VmKrnADcpPCXx5LtMdv+iLywMzrsjsQKNTlmMepAN9pVGfPPnaYbGxIs=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1538423755

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

