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

%NAME%
z3

%VERSION%
4.6.0-1

%DESC%
A high-performance theorem prover

%CSIZE%
10424116

%ISIZE%
37471232

%MD5SUM%
79824abc36db1be91adf29c6eb09826c

%SHA256SUM%
c44eb4e245f4fbf81807f43254613f0e7ca7f79e592b2859d78e0bfebb7a77e2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpDqUUACgkQdxk/FSvb5qZ/LRAAiXKVCuvvJGC9FDaYKzmhOvCYrYJgRTV6kNjufypufVAtMahBdAJ7lauDjnCvmBK5MfH+yj4br5I/6FzjHkAPSmji3Y5u/QEx93xGmryHfaoCFFqOf+AgcuESh6eXt5uOfbsE28EiZSNAmpevqbGH0KbTqFSqnJ0IB6e4jzjtZhJqjgsVyGZ/PEd8yrbgXEnbtI/cBXzYWTiznL3szy0oHsf8Gsjp9Mh28FCLDSAnhX7dGzI5h2UuzcwjBw+ZKI3ucCUdWuUlFxLd0WE6kclPB9bCtdaxeufwQQKoWU0p8EU2metgbfDXiE6SBcl61j0OhbZcDJmn22khqYeTxjWT6VRQGdTBJmS1nP07/3hU2HHpkrCl+unxXx1T6lN6Niphk8uuZrjuO4ftw2DGgsTQC+cZEcDSRxaywMjM96Y7w5DXGQomAL81MRQV3uFikjLW6GW+/d7F+SkV/HMR24uY8H6dN1UftjLxHG9KpN5TgY18bom8a8q4lMonAY0Uz/qQFEcggegLSOLa9Fn+smi79ppbPnANSSY8ckS00bidmDFlgGWv5II4Kqn0Kqx4gWLw6koFJIk5ypKuNHuKVRVEUXC2QRIQpeoxZgynPkXLTxgTwbC04LgXzq0jP/bxH9U/6R2o8SC5X3MwyazSBsjGOtkn5mCm6gk8MNw6R/tpP0M=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1514383626

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

