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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
10969744

%ISIZE%
38731043

%MD5SUM%
0c41fa7ab250a1e521f047dd3cf8d8b1

%SHA256SUM%
35195a5b4ddd267ca9578626aa90a51a9f4e297964fa557073fa27364b068002

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YPAcACgkQdxk/FSvb5qbXyxAAmdXV7x6ee0nPZk8e93tqNM5LH6motjIGXFUW+f2yOp6TgoB2J/OVvSK8uOmF3NjjbNAXElWOD9Bcx8TIQXto42KTenIWDDj11AnufR7fGv/TVDN4M8CP+sAL+VHOoJSoBfIac/utxU+jcRK12bxCKFR67sG7Z/1Y3esK+OOMcIBbhfA7tBaEJcYWSRw3ZbYhm3Hd9o6FKoAj4fzQaUaeEMIAXMXeJB72s2FK8mhUfYNwWDynKzU8PKlvTD7567/02fPdoU44kg8t+t4eqdnAGlilMNiUAzxkyPM5XdsGtF3Wac7Vqj2RsxoAQXBROWoL9XQjL3TMVjpSNmI3I51APnjK/wTjvKzRY7GgypMHV1oUj55kXwW5iSypjbRNtBlSPwg5heTm7swAkzvChNoLYBKKgYip+i6A/b8vzZzWCsZYYvVHYdvBI8vp/OVaN6SFois/ahFbC/5d5/Bpi01/+6e4GvmbcpNP7QuEIZzyHNXr9nZC9YuvZR3Bozi5OAKw+g59FWRvo6AGdbaxj5Lili7DOssldXinK1GYGsrnEUZIEgyNGjY+tGNbyY4rYRwfPDKkmY3s6AqF7+IsF3/cY3ftadQY5kaBOdnBqHmz6tLp7zQd+pVo313EXTIJ++MaqXPio3N1+vxbDY7mbisteuUa3gpkSODh+X2KkcwsDxU=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1574451815

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

