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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.5-1

%DESC%
High-performance theorem prover

%CSIZE%
11949460

%ISIZE%
46209024

%MD5SUM%
b20e8f270dfe2ebd8c2491e66085ce67

%SHA256SUM%
fe80bc5d6bf72cdee348d3dbcf30b8b03a96748656c84930d0d28e89ff346be3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlz4W14ACgkQdxk/FSvb5qaWNQ//bNotVxlb3vqKQ63dLIREB97pTaaqLpSkVwYW4oPkLPbz+RskLAyyqGunMe/Ic1fjzjsl9hEYt5aSlXTj2B3Qt3QqtqxbFm1CaqfwM1yBOFURBKSnb6YxeEwbXFWTmEdY2lhx9NdSMPuc64UQ9SIy5Lt9Ok8usuh/1/y9Ihy2isNSW8iFnYLAmqbW6S+NHpvt+Dt3iUeptpT/iYe6+Bb47qXViq5qgqlqAiCWzeFy3ftGRQjixJBk8HT+VPdXqLtQr4qFDoyxGNdOI6l9ZKbnvkVTI+oeTnHkrvZlP5Pxb9G0BxaKMhin/jaepTdtv5YVy0tHfhyiPqRlgvnYB+aMsxOK9ma1rHFvRRYWclzBOUIXZdCvwXwE67EDn9h+7DMIuL601/odRRfDwPSqzmKTabaijLmMqs95reatr1k/J9+IXRAkBAvHgL+6CpEIqB6MNGWIaOGZJnj8lF31xoVCDmPFekVTgV2Ucjpko+Fo1mNYV9t3kYRay51Ugl/WZZHcX1mJtLxWOwMpNWwBh1Vy0wdaBHiPyTaxmBVSFdYiQB33RNoSwiPPS6Q9jjcvNVMgSZvZfE+Bjzg2khAME+1nJHwdj04n3e9HGPHcr99P8dW1PKu+5pFJ6Ybz+TXt5blTGZFpZlkVEkK8jtFqXC55s36Hq/Kiis0LZfbjWlcXvQ0=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1559779948

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

