%FILENAME%
z3-4.8.9-2-arm.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
12639388

%ISIZE%
46363337

%MD5SUM%
2f7e231b3d5a6fb8f9f51aa3b5f64f52

%SHA256SUM%
cdcf0dad0ec8144b9ff2ee7def3087bd9229e0d5dc3e4c8e473c6cd28a862bdd

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dZQ4ACgkQdxk/FSvb5qZRmhAAzHw+ZB27fUJDGJ9tPmKCq1l7ZvwHVQu7FGcjKqx9cmp7txNuKHYVQhvERfojQ7RTkEMJCPdVzLcjZ2mnw38aw/nQRZuvkbJV/sVCW7PRvEkIJHB64D8r6zFa6vravMvbgccCGb1cojEmjuTKR/bzAt3f1uay8427w1YWXnDuOQi9NEYjVygQwLOb8BlBJCZSKmtEG3HpltWRYPkRS2Wihcn1tfP8TgYM6aNNMJEvf8Jhc8QOeC9zYVfhx7r1eWYrxWPRr5aTIYDAdZPLH7ql/C68Pz7f0WRmqMIyGFedSxvjmXtalWkjQbcYTmuj8YIIwD9BQWPJyZBiDAivBg7v2lDRZTaq4PgxRrr9BS69K8LzhXQ3J54ioUH3FTUIFw76o3ihVe+B+wwwuftOEblWAmxAy6ziQip9j8rk/4NEfa1suJNCSuiqcXWz12yF1Ijl8dpzx64UjMkvTDhchpSXcnt6/T3naL5YxEKZEZZKZa3LSP3Ihx5OKCuHg7cNXqge+DbE7Yq9H3+Sqbudjj8BBmTluhevzbFZnVdtjI/D0af/jw0bHhWMSdAMwgLh8gfMlxJkn+zAPYbcCDARWZ5heKtnvmCB7+jVIBHLruO8eC5bECXJ9zRfkX7e7e8A2YQI64QLfdNKf21yoo6+SzFA/VasqAxF6BqwLJmG1ndLth8=

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1599955772

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

