%FILENAME%
z3-4.8.6-1-armv6h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.6-1

%DESC%
High-performance theorem prover

%CSIZE%
10922532

%ISIZE%
38534144

%MD5SUM%
1462dde923e0db0aaa5d6670e0c664a5

%SHA256SUM%
0e99822006690b2f559379a3a98c91e2421ee8cdcc88bb7229058cb4ec36ab93

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl2RNWwACgkQdxk/FSvb5qbQgxAAp25FEmxrr8Vr0thBnkjlLGZcje5T8lxWG/VsVcV8oWDlFyA5nyphnKzvjwsiLCM/fUohzehulzRiE949QtdLDtHT2xvhbI0g7XBhVOUC86DXqeqdxAPsMohlDWQ+4wGBAGGkU8CHd6WGelucWJsBzEMs8YU1N+PT6vA69A6KfGahEdizg4IwHh2uNV+tzKoV1eMSyeqE0FY3pmC24h4T/DHMK9lkx0Gcox7Se9RsdfBDuGvbiZOhkdut1KF/lFfkwqlsARw4vGnPm4ljQ42tCbcaPFGglCxisbu4HudwLLr3FBfE/ATF4MNYBxEBZW1V/fGwXXGAlT7N4nn51nqxRHUXfVp/vIbYmqAcWW/cmpNwAsB1JaepD3CRIO7o5oPkccNxwnaiuB28IPCLuO2aOTDZXeCRH2JsyKVYru0HqoPSKIL6F1x8Wr/VJICkNNXZXl8SK/X54IjVrXKlOpNwZ8/MpAF1VtyZNGbznIt7TtiMA2KWQhT67tkKdH4iqPaxyE/Einpv+fJEHNXnpDzyrZdzgfXQQtVolYUl7U9bFz1RE+I6M8VMbYiQ3aUhZOaYY8sjhOdMC69TgENdpU26zVhp8p+efcH1W2Izz1wBvEGgxkUGo5Bu0sFCPRpo/NkyJhzH0h+U51/6yfxqcCgh117e1sUNafjnqg9uaobizqA=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1569797097

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

