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

%NAME%
z3

%BASE%
z3

%VERSION%
4.6.0-2

%DESC%
High-performance theorem prover

%CSIZE%
11460500

%ISIZE%
45564928

%MD5SUM%
392d6a4c538321ffddf6b62d263a3ab3

%SHA256SUM%
6f4ac8293a8f560b38b1663e8d0f7850bca5f6db9e4ad89d396904378f795b1e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlr07tAACgkQdxk/FSvb5qZesRAApxNnxfD5SCjtPmrRIFuTvtb8tiHKBLv9QnB4xL70Cbh+H5Ugrvb8RP+cqC5+HRvT35G5C1zTUg13dlPpPttPOYEVE2TDs3EC/yYyx5pJzqihI8O/BoRDxHOHkQfPrLaWPm+AaJWqKrmlAsMSkfDq2kqgiewn3mEGkLXCLGCjQnFKOLekxwTqsk4OnsYAX4dkmuP9A0VS8Kz0pThtHAyyykRclPfQ4AViu9ZiJCFu7x7Pj/r1NYiwSuy24Kw/zJkc4RqGw1lip1G7aj/Q7kTDXWwaNDU70zVPa0nk48uXJT3+tDu41Vp8l6FlsxX9CD+QBErrw//AaQ3izklx3n54oTzy3FW1j+FIKr6gvvYQR9ERVKJc+4BjgEuw9MW5VXnTM36Ya1F4RMYdw67+EjPathf7P/X8eOHIdKSew7v3VYAVIqexqY+tWS9BH7E/YN5RAMTsPk2yQcqZnHODMmuSD/yRRRg1a79yvqqy6KYY54SchdHMchnKU+fYqQySY/AXSR5iACEWPK/tQ0Svocj/MC1rGdTipPYrQGhrdQARfGtDpiKUdpKvwc6L0MFBSEddDnH4mcWsYzUJmRhpSJl2/Bvew43vv+Fb9PAwIOmoBWZY2y1GOlyP7MvrE+LNvUuXWsplJ84iule//EHu9Uw1u5j80b+S8qqsHkXtpXdZL8w=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1526001303

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

