%FILENAME%
z3-4.8.9-4-armv7h.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.9-4

%DESC%
High-performance theorem prover

%CSIZE%
12621160

%ISIZE%
45807808

%MD5SUM%
bc736b0319ea263d412ca4b56365ad7c

%SHA256SUM%
9b580d93828df81db31dba559430ead0c86bd8b2855d87568c210248b84bfab1

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl/Kg3sACgkQdxk/FSvb5qbrtxAAsF/obV9xkm/eKkKoLeM1V/aXrGUQFclj1ZUpVPHPjswkWm38L+72BwT+IQdwmfECsWDoidQ+5R3ZPOdHTVq+NkMMm6qf+Ck4P9AJBtGMl8FFdL412rgY7xBzhgxR3lOfORg5RA9l+iTYrt4/YN5nrRW1OBNs1GYKW4z7sT9lAX+hYFt8TPImIvHrgQjQC+7a33iNybYKt68SmOZGY6U7T1KMWJvSLWLVHfmAjMiDIhicOH9c9rMdg5HzHYCwrB1qCewua04CJ6hzwRHKjqduzSDHhqD/iza6tjSD7QOx9JPfohZUr5mzH/+OjN03RMBKI9dAaR/lyy+NLmYy8GFnsQYR8gsTmlUYhWakjSvXXpf6EDe4AH1yUY5vNshsbFyNwTySYqW3ZgGg3ZG8q7G0isC6Q9zJEytszFEVA8QHEVpVX+EZ//gGTy5etiZc42Amqs2nWc6Nw2dwmVIeKpwCKfujczZKgTV2vQ6okbOzZ7h4taL/8SGp4YWkCKAeggF/vnwWAiST+ql5Dyv/TvyG7UEAWF/WbXL+u3bt2GS1zwKr/YN1/VPE8AvWjSuUpFCUEkyfLJVhl1kOx4t8NLYaYIIbCMSLjbFYxzIcpuY03MSxolltHDVvE7IP+WlyGFl5oyFftLuH/Dj0MIOGSXg38Pmqud2FZAYTkF3Tyr03H9s=

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

%LICENSE%
MIT

%ARCH%
armv7h

%BUILDDATE%
1607106793

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

