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

%NAME%
z3

%BASE%
z3

%VERSION%
4.8.12-1

%DESC%
High-performance theorem prover

%CSIZE%
12449412

%ISIZE%
48971009

%MD5SUM%
3e850a55d917259e011836a5908e8351

%SHA256SUM%
daecf02c942dd2df5fc9702fd4b8f46a90effbc9ba2c63ecbf8943ff27a1f2c3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmDx3J8ACgkQdxk/FSvb5qZeMhAAl1FWTB1gUP5m7AwPhQ4wQdGdmiJdYy1XH2h2baR3cyZuByTOxJqCHBra/jF6Htw8xgYZhwiqb38Ez6u8+qLAefx8vFTBD9u/q7Cgr/rHf2Wu1sQA2qEtD8AFz2FFLe7LmVu/y6eXXGHExVzqm2p9voyBZz/Q0Ul45xivIA/yEgKQqKsfUqLn7z2U64YcU1D9LkkzXwPx3sJhH5fbL0Ss/n8z9tEFaK3pDexWV24YVYKJRHYfXfFuvIDIyAbeMSq5Z7cewotL5YJViylJFDodkrYBuCJaM/BiL5U9zd2anoHPmox6bQM+fBDsT23DM0X6HhCjQdydNYqijI+GlUGzj210BC2xrL03iTyblUycZdWG4dreAh4MXeG2TMSau8xeyH3ePJcxzTBBAhpzhKTRo32+Ab3FfOZ2X8cjQGo/XY9eTNFwnpJqKcH8tPd0vfYjfjWl1u5rJoVsnyllmOaQlIrcEfwOsfzVLirfrlKvpr73rEVWdPdEgdlnbNwVbkXG/jHfvZWa1mMiX7BNhUVrbVVXBKWvuwMsFCTT+Wbg0FBh6IY5VCS4ndLtirIhQ9Z4cTdcXMTRWTk03gOXjIdNOVf5+3OvCtAj5MqWmrNkGTuqqRjE/P+RSQUWVmCypH6RujBHMAikE6oxz5pC1Vv+dcTmsqLY3uUyVIZaQ1/DLh8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1626462943

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

