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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.4-1

%DESC%
High-performance theorem prover

%CSIZE%
10446112

%ISIZE%
36962304

%MD5SUM%
bcfa3bc2774180759f331590746b882c

%SHA256SUM%
f7e42044445a05f8097d2ae39a2abb1ed6ad07ae8f67e53f2e3c15dc1b91eca2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlwdU0oACgkQdxk/FSvb5qbmrA/9ETx6X9X0F6SjH/nxmRkuNelWEZURMfIWXcnuWVJSG0xoBxZkZm9O5IrKu3rBv5y+YO5IlU6m9+P9Q9QZU2h4EBq5IxQ5n+ItARpg/XhY+e7C2+r/rPdkdQq6W9abCIMidTUbSyRSGVNMnDKbYkVurbH+t+3LHKH5HmXjB9liF7kACZ/emFfeV7MQUBkVFXzSe9oH8HFR5jQcBceLzAK4uPm4oIVGse6ut22cSrVxj+Om68XzbYDqFIk+WU/0aJulpwszyKoAEkwNv1XQia7IIVBD9DGLmjY6h2EhStjOkhhmOwkVaZ+kgmB/Tvx/o+5uA4xfQaJxdWEVzgnKtmohBsTHS65kHGPV8I5l43gnoM9s72DxJmwK0UA7M2RLVKylyaKjx4vJ902GdDJ13rrMH+jmJWf3vAOrG/kkdgdeMPsvFgffJc7A03pMOJFJ0ecdN1AgdW38EuwlrA0CElQW83/63+yl9vv7ij6GbU3xMIhYftgX+51lz9fcUVJ4FW9See971pWuS3/A7ruDjvDvIo/UG3TriOma1MWMWaAKE9n7vrW7TT4vaUCJZI+kvQbSHDn0V79WFpRPIfs6la1T7+4kly0UUmIPwFdOCeh2rxiPP3lY7MAgcqcMH41Tkr/w5n7LqkHs/Tm7Qs+In/EXe9tRfgmMSi2v5m+3V3X3VMY=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1545425282

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

