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

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
10321596

%ISIZE%
36489216

%MD5SUM%
5b09458da3e91b51f957fd34fd464603

%SHA256SUM%
581ac6fa725dc9c012a9d78bde983fa3ed9358a408a44ca1ffce292ca322697f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltqIAgACgkQdxk/FSvb5qaAkw//aiGsFeh3MlmpyjB2r5B8+o8WCphAUFMIvE/iNWP3nqt3chJ5PBMoeC3cWlXVkP8bW8F83htUfZAJ6/UXKa6MIhR2Z98kGloZ6i8brHxw+Hwlppowvx8U7940GXU2vKCP2fzHXB91nmAyy1sdiAu/V7vO1EaPVxf4gk9qDU2x8kRBb6eDaTNWhmN1JspffVvh1MyrDja/xzEuhcJt8ZnO3jJ+dkTKac7KfPW4TIyrQjhyugGjfhiO9XI8RGvr75y9/sXmBSgDAJlbc08vHA2g0TJug3oKby94UBBQEln6+LQfcYAy9wehUZGSM9XENCMvTUxmHrX0CbPH/jsEbZ8H/Rssla450TeKop3eG6s9YW9cqrgcD6QJdd1beg6JWIlZoF3RxEaDKF5gjG8NqCfEtPdpqYD6ZaNopZwutfzWfnJfDInv81q84xU72WEV3HaSXcwq/9OL8XQihGsJ5FzHAFO+AuxcbLNdM5Wmr1L5CWU4njf7LkaZ6lalYv0/O/Cpns1hBYZwZCMvLBFjap/OJmn0EpjC4C7ZtyCG3+pVLMN6lq7pBtMAY8QrqX4bkcCgIciTPHgb7hvtA02rU1yblI+tscLxoWLDMy+7T53qGW4wHRvR+Q9VwM2edEgJYRzoRnrSZaWHeZgN8uw3dZpGgal5GkNHWsWlVgoF4M+kGLs=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1533681102

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

