%FILENAME%
z3-4.8.3-1-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.3-1

%DESC%
High-performance theorem prover

%CSIZE%
10516704

%ISIZE%
36881408

%MD5SUM%
75b7c028da47c49ccdf425d76f0c7cef

%SHA256SUM%
a01b3305aa8c13f50c0490f0777d4d1d6cd1dff2359f2459d41d77217611db3c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlv3Kk0ACgkQdxk/FSvb5qaKUw//UbqZuaU+h1i+U/BUs66DkU/x6lxJSjSMZ0n13AEymNNyllHh7gbmSDohgbfm20yr1j0hSsLAAcpf2ZVca80TASfKuzQrprYAt86tg/nD0v7tIfsZeyUI/bo8U9c+QeekGoK9pg6Hu8UJNEC+SAlzk33uzyh0wZBXfnl86ukqUgzHQou/1vT1v0eETyCYUyeYD475eD8TND/DNdPQwGkpc0/1SL7zav0pjrMRg/3CEMcbb45hHY/ll0+Di20x6CJlDBgoqnEEM30uuM0DBFpK0+Ukn7mbGiKExdsTsaYFZ+o+cDqfwWg93X3wjbMlIQfNitTGGbhB4CDR1vSONywWpwSSz9jVZ2QKkh7Yk9uiQ/xOC7UBYXcojp5LqJS6oZUwFsxJlUbbJogoK2btmVH5fEFlkpruJv+S6kuk1eG2vHuaY4agSZ+62l+siytOBrWUiuTTNA2Pn9Q/0d8gOY3mC3ILaXOEeYFQGeaMdHP14deOGJG4LdVGpXz6Zf0Upy3HJYGdlygc9H0nQbHDl3qiNdYap/VkzjL/QdFd4RYEi4ZFGN7iKX80qVSMG9vMZYZ/1ODRYuTfe27vcGOqi9AZppYHoAofXQcpAtT27sOSFDX0tr9AQtdGwA9yAvsD6SITnROv3p/fdZysir1QLubgJ8Z0Rx8wLzDLhYTC5x/HLz4=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1542924459

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

