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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.7-1

%DESC%
High-performance theorem prover

%CSIZE%
8230844

%ISIZE%
25767731

%MD5SUM%
a66f1039906d02bf182b659e27bda72e

%SHA256SUM%
580c28c257eecf5e4a2badb49f0948bea5bac49eb29c1ad204bb19d7d19c187d

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl3YNegACgkQdxk/FSvb5qbthw//fbxx9lHQuuKUu49MFBKQNEqekAiUKEa5G8mziONY9fLXXFnowsFZH0NQ1YR8raAyDPaMwDVQicnghk5qK92PIeTvHCh294f8ySbu9fKYCcbc0fo3rGOtE1osqI+2zkBbydo9+crGZcdG/8q0MrOIxeo+K0CeBImCyd2o+2wkxBoMWF3rcfyOCkCnFeuMaUpHOhS76ZIRQED8l0n8GmylUv5QLzv1ZxJqjRDwniPcpixsnQv53Jcfm6CTvxqEblfegqZ/bkePxVunj9EX//8gWXUQ0otUH0BRN3eJ4qFeir/vXoO52wfxP5mSeybTipr8LRdT10t8qgovnv1zz67KhY4fnYVHZWqMgqC71/UkHskofOc9lleEL2AuPy0ZVqoGteTHNa0Y2b7OKO0VFklXRPqXQncxFoZBjsknOg3tkMOlV+83syPlviW8GtuPxRaQ9+cDzJjjeEJbEeC/sf7TjVCUOzCnzKnmlm6daOsRNO7qbIf6lerADcRk2mV13CiA6UdYvJLr/51kXpPdY9wqqkb1zH4dh5ee0ZPdgArXcW1K5b2pIlbKblURWjRjSIuZx07VCP3Vbgj9udRqJa+ATRUHqe6Sgdd7sPMkxsmh4vSIYzD0b9JQZ/hEuLoEWNlx1DeCKKS8Vy6Z42s3ta3E5fNhcrhzL391Ohf0EOVE+70=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1574449234

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

