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

%NAME%
z3

%BASE%
z3

%VERSION%
4.11.2-1

%DESC%
High-performance theorem prover

%CSIZE%
13122952

%ISIZE%
51006458

%MD5SUM%
e685c146a662a95ab91e638ecf33b96b

%SHA256SUM%
c193c56a5924339c998d8914475795c2d827f1e372378a00f4f1e91825543f98

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMePiQACgkQdxk/FSvb5qaQsRAAqjIIGFJ8iAvJXjioobTv2O+OreqOFSnuSer2MYDC8H1Zzg/toBXZjclNxaPF3TUQulJbYszKdFguZaOhICP8jlQLQw/Cd3b0Ly0iKEH4SqM+5D3+lrtnUnsPAo9ymUkmYTchhkMX0jH2VeBoF7IGUI1VHmKG1ZU6d9teeicmj2W+sb1xJvpjloYlQdIliN7YRsWbmZ8Q+UPRhCjM/3nQTeJlNkpGpYLn+USgRIhEEaaCI7ZNAacJNev76pT/54yCUJgAbjdtuIBAZ7E/aeERY0y48UfAMX5yzJGE8bdZignRWzcy2jsBvjmYwaMdn2Gw82Ghx2HSJLXQIzZxmnjNSIVnVf5+V/VGDmjMJ2csJxaEfuT4V112+9YkJQYgYQSMgJNoBA7Az6OfYm/BaWh3S8JWomPqRRYfWa/l/pxivz3i5ooqdt7v67bejrdwXUqrmDa5SZ0etVO8JoPZkkxKqsBB6j81+Vz7SeFIhIw5Goz4PaJ1fH0u9bVgyro40Yz29tymdu6rvk5ha7CVVxcWAERXxVQiy11Gy5YEm4uA7k1Thwc65Cm3SQuLzoCH4RbH+6hozioH11BkDzFzW5dI73J4L4PSQwp8SENDv1iYoxhWHhtPWzGWKmlrMJdBH8WMpjweUG8KlDEof3U4vLwucDN+cKFdFl6T9iiP1KV9gVw=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1662925967

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

