%FILENAME%
z3-4.8.10-1-arm.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.10-1

%DESC%
High-performance theorem prover

%CSIZE%
12939492

%ISIZE%
47428949

%MD5SUM%
963894b44afa7f27aeb01ca085a3804c

%SHA256SUM%
233c800316292b699d70d800def898d5d24fc51245d8268f5db0ecf941e8b8bb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmALbFsACgkQdxk/FSvb5qZLSRAAoMzr7eh2BIaCB0OY6AdJseG2mzgmUvrc1qfyB/MBQqPPOPgOWQjcGG36jglPwhl+xUXw+betdqnopUmOabuRGbXMZpGbcUTI99C+8xNaeLy2CT0h9xSzTxLSc4fe7HV/hB3dtAwWWK3w7m5vEqB78zz0E2O+h1yyhqhK9nIO2OteMGvfRuNs0P/z396GP6t96ZMWiNwYFU1Ym5L7TrC/HOnp1OYkDLVZ3zyB93al8FU0PV+UK2W+U3jIiET+l/F5yAfonQXu6q8A0vsLJ5z45mWoi/qVlwRn50o5EgEcZlju4t0qrYuCeTBB+HfLOxx+eWBxnNiDdcmqnHzShZNC/72AeXfzAGYALTZeeT2qNcW1J37zxYz8TZzGwITKR4IxG7jfmdwvCl/7031G25HXinT2lAS5ah6j7feMvoMiZG+NQAOBbg+Md624GcGwhlSeOc4ccOszS5W3bsjN9cgVty/44/FTNNIe7XPcR4/k9lv0kE7QEzoUgHYY+7v6t0eov7YfvPBqWLFQZxl1gs2ip/lm52UBaA5w1HAIR9RkGabsib8Ugm7PkznW1wFKFDblC9HuE4w0CjHKEgpD7JzqtJiff3HSc5UOslIuFZz5gNkj7aKHJHgfjPv37Z35LjFfM4tPF2IVDyvyidpOkeOMpcWMzey8XgwbMbLuisWuMK4=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1611360899

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

