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

%NAME%
z3

%BASE%
z3

%VERSION%
4.7.1-2

%DESC%
High-performance theorem prover

%CSIZE%
10393696

%ISIZE%
36448256

%MD5SUM%
036ea752a286d51ee96a293a66cb37b9

%SHA256SUM%
f3a8c6721fa0ebdfaf157acbe72fa191e4d5d1c56158447e35c117f59cb552e3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltpnDEACgkQdxk/FSvb5qZJHw/8DGvvUhBC+eXAwIyQkLsMaju78WUq8+W9LMNjAZMEtNDSNKx+2vHWvW/CUCtCkWD5u9lIO9UOtf+LWf+MM4L0WGM67tRp3MeL1yO/7P+FxcPCNKYPGIj5eaxtt1Hzq86U+mWDDqoDl1UH+AvBgL24WIumfnW/mQpBl53sPrmw51dayHi3y9vIvXDTpnat1CicUwmTWyiOC2wx0TQdgTCgBMYIFbekmMXWGKahcLKWzfHQ9CxgvBVKJX4RXg5vLiFEITxwXZbAMfMJqLVlrvIfqOdYhPXHWn7M426lhbTPkdYSJ/OuHypKeeG6fuH9PFINHY6HgMWMIHkmp+CvnjKgCmeE+HblibPzv7EWdzPyvMwRwBfDGtzrhzc6Gwdat4p5cF7hXulprn5Kp2JQR4b8bZxXjNbnAjqoxS22m4xwdfq5FhhJelGla7OB0u+MM02z9+v0eOobFkvtuhC7MZWhbiuvSAlPd5u5LBpsmpmBkHba+tlTwAVc6swMzcdpuamlRzdXtnAEUTMPgD9P8CaAABECaFYF1F7ZEaWmJehxPpuxZ5hjJxQUuhp94W5MG8Q+k+fgSJREpU8B0j0ixZwUfmc6gTBGwogE6lLmmZySSnR741BiXzp8YOiHmKgK0I4NxHdHooKvRB/Zi8obMpY4FET99WZdYSsDMVyj4+4hNaE=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1533647397

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

