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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.9-2

%DESC%
High-performance theorem prover

%CSIZE%
13799176

%ISIZE%
54418217

%MD5SUM%
18f7e54f11613053ed038352ada32ef5

%SHA256SUM%
8087f464d326af795059da736fab4b81491194a6b707ba2e08c677f84e94cf62

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl9dT1UACgkQdxk/FSvb5qaq3Q//fWFT9PdlZZZKOjnlRYJxhw+eR4CKNU07MFdMm8X7o0JZbDvc/uGxvfkL/xG9satpynEtAtcqbsdpZOuAoGvdFMwR+6WH2K4fq7ROpsf73wUe79quUIsaPEqS6onCKnwbwm8rQuL8tvj+z/JU0a7f0xPrBkVVuLdKNev3+kS07DWBAPWPDT6//Eq9sOtr4tyw1ZJcq20QIrHNQTyWIFpwzCcVcy4Kw0J7Ht+LrjcaRe+fRhK9WPUyrt5TSQpV0Vgz5/ZanfZD4MTyFtWFaSFZtXfoicoNJ056yfhr3mgFZwW6hYxzPg6acHtJSXax7bbu5/s3b4vz4okBTi4sCAnx8o967kIv+9jVTx8t+zXMENcwZMQn9zScASq6xp9yDabCNG5eFZzXTlzy80EpVk839AA01ZVumsCitDIM3y84vazsYMZkOfisJ3u5qZOlZh0FfT1lm8XJPbms7tu5FBCqNn3UQCPoCdJGUqnUc5VAnwcOSeaRJ6VAppsb8rNxllQ4Hu5Y7ofbi8S8bDxNVlbm0xNThhdgWmYQWbMe6UT9YqefhE5ZI1NAhUJGEOabcVNhop1Qnpz0vAd2F269yJDXdHT6YgH53RcDybJGY8L2jvgtBGG4bVYqqcgWxeCQBz6r7NKTbbjyN60AZiBpr3bc7ztUnGKj/g/j0IXSRSDLmzQ=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1599950451

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

