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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.8-1

%DESC%
High-performance theorem prover

%CSIZE%
12399392

%ISIZE%
44663017

%MD5SUM%
105016e29477820a887156e0ff00b43b

%SHA256SUM%
ff428a8d80c0f27eba420506b8a5c19cce6c830489c5b2ad73285651efbf4030

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl64fv8ACgkQdxk/FSvb5qaHBw//f+lmb0S+p9NOtOXNE+01StY1Gk1SV6DqSoE4ZHPE71dSosAifdUthCGWMKmXoKwxRGOCy9rEq7dvhTLHBfod9M0QVMXObI0n2a+NN/gRsCxMZ1enttY5bmvWN+fOEGMBrRHu9BR2OSSkL5T8z62XIbYJWWl+5UEYkkknCM35zv6aNKYJLDU6agdmo4eseTGduyTJqi+CtpK/kzRLhGJDZzTTgqYYA5NvyGOK5atlyDQ/M0p7JNFO6PGlxAh3YSHCiOAfNkuQtgwyeb38R4UHsUvcDrg7y5OPb9+oM7LGdqQk3JJwp7B0rLOYVw9ijcxSncexKI0+GVJSznfPgbBxH2UeaAGFDFvtiHapmQnBwtUdh9ZOen/1j76/f6aZU7eqLULBxz6cl3ysVvIYZrsydeyW3ePDxFun90qLDr+z1tu8pb2MztqjaHGYoY400gRkIHSkdg5JLBDvvCKiAXDaFTXC7eNeiEKh/rHlfwSB96gkA+y3FyHcmLj88YVcyzxFD/rAm7ETSIDDCb+czxhSy6QlwFKWKUXQvMH/tMQ1BRHsRJ6uksMu3dG/+h5t66MwFQGK2AzMDQE4lNCbfi9WLQTEdCpIOPQvASfj5TwYR1bAMovXra3MKbRgSTes6jE1rl6KF7WLWRVvEwXOvRRKoo970O0Sn+4ztZqtFlmxYI4=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1589149012

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

