%FILENAME%
python-z3-4.6.0-2-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.6.0-2

%DESC%
High-performance theorem prover

%CSIZE%
166640

%ISIZE%
1708032

%MD5SUM%
4ffc9aa85dffec7c40dc9af57ec64a77

%SHA256SUM%
183e642101bcda93fb91c4bf28c9e9cc63fbf3226bda67c422b9a850740523ac

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr07tAACgkQdxk/FSvb5qaqOxAAqrdNYJExPTLR4xXK066NkUvCOvBSC9SEMvexZKb7EOlFKfLm559y0v7//0Tlic2KZmg68pm3+028rY/bGlkY0euDMYL6S5hhnuEdkd6WdxXW8h/+uWz//yFYJ2wvSFwEEe7ZkBCDqwTYYVZcNR89hQa7yYwKL1EHrY6IrWFECiSz1rmgNY8DPjK0zTi9Qwhq1j7GSzRvIo0SRmwqggVHxcIy6vHrPhcJ+mpz3mxrxMkbloUhZrWr7iYuTOJUbVVzpnQ0stwcsqGkowS6ZFUmd8QXW0qaP606tp4ZsnV9RtWrxx2Uq+zGuLqYmQJqcLZOPQNa8jxGBy9bnxvoQT5IFn7oDtNKvQTfZC9A2onfesM3Xb+9eIpZseWcEogT/ALDgqB6y0t2q5U6T+++6xyd8D1GP0O86ZYOm/DH8d7M0w3WCq+vxmuUjPH7D8VC51zAsGP+Ugw4bHuu3rXuiZxrDz3jpeCNwTZMs6eMihc2OcgyWTTzoD2w8mUbruiMsKeoZPp7Gf9SbXOp2LlYy6UnjuXuvc85XdAdz+vIZQ8LKgnhD1LSw7KA+A9mcipcuMQQKtKFCEGv5+Hwac1LnuRkeImUrP7tAW46RcBpKBwH1/iBbhH2c4j99uGJq+zAkoqMtSx0/Ro5RrnEcDFqZhO7B5HG0/UM4Ro1O9EnOVT1sRo=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1526001352

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

