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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.17-1

%DESC%
High-performance theorem prover

%CSIZE%
12651992

%ISIZE%
49953866

%MD5SUM%
0c06933ea0447e01ed51929ab035054e

%SHA256SUM%
9898002a906a293d120c5738560ad77fbf39ded530d4e2bec4edeeaf4647ea33

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmJ9mnoACgkQdxk/FSvb5qYi2Q//YBA5daruSX9NJdIQKy5qv8P45yDHfT62yeSGuWVoKUr0ox0IcsugXssiu+6YgEEz9pTIs+quYofu1zU8yQ6qrCSVJcrG4pa8eCpj/WvlJFjtaGwa4G6G5XV9UpR68zJtNDfYxVPdUIq9vxfxHWw1THxK+V0utIfaF04bJ6wR02RuGRXRJSlLADaUJlt6854RhTYY9qXYgYFmmVXJ75MotmpY/xFJbsn1YuSXHRKWS3bwZXwqGvwqcJBd574mAeOlTZlswXLJBaxC/R63KkO1MEPfthdGaRL4FcgwWgjDMiHl/M38t/G5WzdJIF3BSMbflFEqfTNz5+HvFq3xQPoaXVIO6snsChl41PRNrPX0MYmoYEo9DDF8T9d3e2Il09RhrrvYMEyJSLlK7aw0CNErMuujhmurssUvNa7xEtvpaPitxqUoSClIVS8sXyfWECtsxh/7FEZOVYirqc23ZQDaDOFkuUVt7oJ6YvNBWC48joxgDzxLW98nmTonNe2nODKJmAf5yH+41C10/SeilMTlfr7ybnQgBpDD/sxKsKHmF6FOv72Xab6pM7WT061wj7il1KVmDqfdkNiADiGt1RVpkfsIYOwmUIMnfYhTalPZtcqxHlp3QrUZe46ybg6ZFh9PRJkc3YBGruqCmL/nPjDzYF+i41wiz7jSX0oOQ/79iqc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1652398337

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

