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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.14-1

%DESC%
High-performance theorem prover

%CSIZE%
11521524

%ISIZE%
41605402

%MD5SUM%
7e715d5499fd9d32b7c38c91fb68de57

%SHA256SUM%
aa1fab769338b36530462b8401083564f44654b7dd55f331b8e2485612b2fc84

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHeRycACgkQdxk/FSvb5qYPdA//blA5FydW/9iL0eiPhegG08Jc6SEgSMRc4Ynm/rmnbX/lR0Ap0WBJzRswM7vd/LdHM8vkVv5+UFC9jgXBjhX4N47dUsukh8jUyXnDNUmX+hzjZOK1SyuUjFwsqKzmiqfzoLF2BztMC/MPLui7V3JVVUphey0T+obvxtzC1Leddetd8U0JuXr2NSjXTGawIs0VRDx1TltW6zykciOokvTdlZ1/O3gkyWPCETrlyW/2IQJ8A94IEx84iSH2YaTjrkrGX55h6e0CtZzhy1wJ8LGk5MS/QFMN9wSCMB/LCx2Lf9yowYeE4YG4ZDZeAIgBE9yE3rr8Lt7mRWOHWhLszYIjJRqKMgPJpbmM+OebncH2YQSHYuHrwU8dW4hQlY0IevePpf/sSdmuNKEs/xSEiV2QkpDLmAmY3N0DTdJZWjk4TvbDCazkFaGp/BwSnYIm6gEoVM8VoZkLTKpCKDEKCgtpzR5yO38RKhgEVq9NORLyLrABxZnO+UhxhzKOGjtusUavsuoTy6gyxYCLFl+ui8xXxsexgtkfGgyFtKcTVwalULUx0dn0EHhmkO/rUmZBxZ7ZuDSvZuPMeo3T7Ou0bOiMCei0Cye0ugIIyRS/yr2HqiJ+0MfxCMg98vDFBhCw/ayIt2OSkgXBn53epcNTmCAd7JqZiuJEOy8FbddeKx1Y3iM=

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

%LICENSE%
MIT

%ARCH%
armv6h

%BUILDDATE%
1641956571

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

