%FILENAME%
z3-4.8.4-1-aarch64.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
11703280

%ISIZE%
45387776

%MD5SUM%
a5bec1b8c2c6fe26517e1a98bfa9a429

%SHA256SUM%
ff608d5abc111e794eb22522ba5e441833438142be012d8023523899f1042aca

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU0oACgkQdxk/FSvb5qZjehAAtTLvnJOJqDnXy0fT+EZdVvbcZW92ibkC1JIZCKdhKxLWIdkDx5fuaJTy7UVCp/is30D+SMp8vArZOVO20tt4Vr5+KBeuYkS44K01/QuE6BCJ0y0znQ1NFHIs9jq3fzpOa+A1gStu1TjI64ztazPavmfcGGvjujImJ0lKcUZDhYBYVTqk/07IO8UmBiic/13sBQBw1mlE5UqV8/jJwTtD7gYD10jou9sQHJ1jsqmzlZxHvDLsFXljrbWMA83AUeTrQJ0JTPUU5MVA3KAfVCIB25sROJ+WxEX+vzDPfMs2G270XCdAd3X1LXv7rjWZHBse6qJHc9gYtbVOvtO1feD8gdDakVCu/WZwUY6+73d1aAM8D6ge0JjO7EamESCFwp/KfOM+TbwzRAHf1kRJ+9TrLFKRAbmU/0N0GI3XA0Mg9RJ37zTjuuq7ZYpxpvI0xqestCEq6B0BnddH4VCJxcuslto0uxQzIOH9KZ6rsqZXigEdCgW/FGqX7kvdr9+cKkaJXXUXnDj4BMr2YSYOJ5xZbdTuOdtGFIvIMZ8RevjDjJQjVq0fkMkEx6Xq7l1gv3/Ru70ZiEUfnSRar2IWxMgsghmOH+0trWm8qIBZrIxHJkFKAj2L3bdl1CuiFBtde3BnO2w9xR1RzUhbK9as7Rfhq4YZq2N420bn5YfqzFTAqcI=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1545425510

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

