%FILENAME%
python-z3-solver-4.12.1-1-aarch64.pkg.tar.xz

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.1-1

%DESC%
High-performance theorem prover

%CSIZE%
186136

%ISIZE%
1756921

%MD5SUM%
02372d7adda0ab6dd27997d0d9db2b81

%SHA256SUM%
2dfff52358266aa182ba0a1431423c692787df32e4e1962dbe9fdb91990cb270

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmP3yUcACgkQdxk/FSvb5qZnsg//foAfu1cfpSOIoCH9+rjge4dp16otc3SrW4fe1QnD7jw5xDnQwLkTC+4DQZ3ShKFy+ekvPgqfjPySBrA2RVZrwbYGzMPk1b/Rlp2G/o+QQ4GHmPHYvT5BVCV6dBOwGab73K54vUg97rWFAn5xk6C66Iac8gB01ljW2J5cxw34emUxECctWneEEqvisN2Ei2j1ZvkvuC4kQ9IfCqe3r1VGae2wQl+WDSo0R+JxJh4AVmwzj0hH+gBtK8uyN7EbYJO7I9Xjdi6Wm24VNLfGHdC04pKZaMR+K6IuFmXgfaXu5xpQxsbvCMiBrQn0/ZM2ccnGo7s5s4Gs/gKuUXNZP9VN8u5Hf2Fr5yUZ4mo8smBCUFuSdHasjRGnmQLNEvk9tBu4602/0c0mNycgSbQout9aZs2MgVry2Yb8Lo5cLlDs9oBYn2BZUeA4LuiLVwmI04dwm//I65zwXlYY8nYoLXzyzj4pKHpJxS/U4DrihyBFjgQxA9gj9DNnxu/a3sozTvF3FTeXwlB2TTXihQ7k7GvPicNIxuO3bLQCLS9qBeDG8wKGmi0wRMGw/Nb7aHoQLNz1xHLjzxleWq6RsG1eMF1N2mzu2wBahAaG1BBtT3dtY/PUMkCghfRX+W6O0Ku5tcdeTI4WYjWmbUNgPppy621sTPeb06Zdpv0YaR3T1cKMTMc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1677182793

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

%REPLACES%
python-z3

