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

%NAME%
z3

%VERSION%
4.6.0-1

%DESC%
A high-performance theorem prover

%CSIZE%
12065532

%ISIZE%
46948352

%MD5SUM%
1a80da275f182ee1d517e34f7a7dddbd

%SHA256SUM%
cb1d152a66ecb24c22d84fc54944a4c172a3908f799447da5a6c989f15cd6e4c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlpDx+IACgkQdxk/FSvb5qaF6BAAqMeZMuwQuTmhXSy2qmpski4BE5N5lqzZkReWkZ0TbHpZnjxIeLwHycrTI5/UwIFbLpdw8xf7X+NhtOq6R6RtQtKuxlTSXKwVr7SDiwbzFzzolRwEPYjGsUZXQ8iHcb0g7XyvNynwLCQXteqKzolT9HeeI4lDHYh+fyPV77/p4A05+p8/7kplGeH6qar8OKt1fRkarL6lLrK0APNZA9Wx+QeXPfqrZLcp4YLElRHmoO/wO+dIKyZY6NlHBqKrAE6ohHFKEwne5maCO1mz3003M8bhTvCA2yXh3sYUKghaQjEC22OS1uJTmllkTFs5wACej8QxgDlxOfFQ+YqqKKPksq5FGQK1NyLDPPU8hHRWkh/OPVFXizyBk+PklPrWF7YaEo1IXA3kB9z66FqIYxYM/VTR7NWUtDI5AE3e3W5eD38DJp0b4EqCxN1tQ0EYBzyZQQbUGyBf3WmLPfjB6mf0pD1U4JPDzh9U91JaNCsoJqY97WkJ6xiQ2EfCNFJ9CZlUz2yjx6pZWDVB/ouxIMl+udtGe928y/5xE9GqdYRBfEGapCWklBgBUH8uMmLqkmd4JnyE42iSdEpOFENQRUL5nNkGh+9BwZvTQs2hMN9/hCb6pL9vfZ5aTkbrKIdhqQ02IhRcpYTuUMaswJs6cM+bp3rRDAGw1lIzvgHM9EUW+8Y=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1514391469

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

