%FILENAME%
z3-4.7.1-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-1

%DESC%
High-performance theorem prover

%CSIZE%
10309772

%ISIZE%
36489216

%MD5SUM%
51f9955eaf987f4a031a41eb4dd43d89

%SHA256SUM%
8bb4ec015cd2f8004cbab2cd57c2d82dfa2714130040fa903e0f5762ba1ae31a

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsHS04ACgkQdxk/FSvb5qYX1BAAqh2o7zJprExAJJox3gABpEJO+8iN3ln/pgcAoxuZ3pm4BcrboXr7gB2LE+jSlujMQoMlwOEmZUqeIdYUpo5VdU9z/z0WCmsuSS9MWBtS6KgpsYyF+s3N8R+JUMzoHnmoZ6JlvEB5B+J92BEMgFaDysu8VN3SSBCXZanc7kh2Z/mbWXTtYBGMi+5Htb3X/PBGDCDITyfSZ/y2BvKqz7lb4T/XGGTj5THD0o39yLlrNDElIzVEjIId4jDuEEiIZZST53vvF4HPKGFZU2OQLd7lHQ9hNfD79p9y33iPNkoMjBaPK0TREmA7qXKWhIcLG0UrPlbk1lj0yUtU5luiH5KZWegVwp/e/EMMQqFqC7GV/8sdY8hR6591nq9LCuu4Xg46SpugVEiVhkGbQubg3lSIsGk3F9RMXdpKZK+CTCNvNaKu71n9/YaZHAxggotwfGL7dmE8+PGGxx/CLbWOJT+dEaESDfWInTAMHXzYlfBsFqaJRUQovhbk+x+F8dcKcbUOHgwlfz11p7CI5kGfKQvfoY9t8Xaqu8HQt5B2nF2NdeHJNYHbSbO86YHL3uL6V+LR67tY5DAIpDdlmPJU+zHZrQwkUxsCzJYH6Kh1YB7Zy5nrcSgsrATBqJ/ygDnswMdGiFsPAiBdW5Lv/qLuWqGWbraJF4gGP1jGFoBsC5orNBs=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1527204608

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

