%FILENAME%
z3-4.8.5-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
10740312

%ISIZE%
37643264

%MD5SUM%
7a6f95dec91f5b7f744a794506c46348

%SHA256SUM%
813e693a572b4f101606422d565f7bf4511a8f7fc0a338a19a6ffd85d82598e2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4WwcACgkQdxk/FSvb5qZ+6xAAgNJqaQMq9p7+h1PkBDzA+5NeZk5kirHcmXCSsyMOCze44rnVP0ufp+eeIBoGVwoVrFyAWhVOPqztJQXd1pqx0Oj80SWq35XeimRU3b5YqHmP3uBWvVV0mIWEGGVluTAqvixloSlYk4ZvsSmUJ0gjuohERHQ580x/q6ajlBAXU/LfYY6Da/mjB5fnl0tjTwWbkJ/DiWbjF45FhBIHJbHE5qygRiOvGzOStCrNp2nw5oS9awfI+ZwzmHu9lskPUt/AVH+w+vnm130Ksoy8y/ze6TEOwyiWvHckxV4yL0yiM1u6DFNNnj60D23SkJT7yX13Kq9i3IjafIBwQs5H/IXyZy918G0q1sB2BivczaISY8mT8p8uNv8iBp+C9pJ6CRiKRH4rDTuFIA5iMWVU3Kp/XoNa7hqLZWuC188jWTTjhEgW3A6APacSCyfKzbWma+azBqjdO1tC6eqnxnpUD1v3fvG+0sktfy+QHQq3/u3EuH0rB4DB5ZxTTWh7Xrg1j9iBU2JI40voE+E45svN8NUTwfT50RJ928B3d/+K/WfKy5V2mUEl6d7ei3v1Jxz2fWVAa1aEpf+uy61bxyXPd84tclhYq+axlnowj2QIiosyeApQwqW4P+8iEnLPajDC2FTgdPq0+gVO4hVkPTruV7oySWmZRcGpfU0Kxyz+/ha96hs=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1559779663

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

