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

%NAME%
python-z3-solver

%BASE%
z3

%VERSION%
4.12.2-1

%DESC%
High-performance theorem prover

%CSIZE%
249932

%ISIZE%
2730625

%MD5SUM%
4efdf81a2b591356d741104a22d89acb

%SHA256SUM%
b557825a9850b254fc78d43b67e8b3b4073f85d10544afb6ea3cf8198c913e5c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmTwoFAACgkQdxk/FSvb5qYtnBAAmbUbKE9884MkIpsfG9YdafGeWiAB7sn3tqOvrT2Pl4ievNWDYVS8DH9mzr9UmDM2B+5hExG/AQPGqCdi3TCifeAtCQNxIV8QOz5u7LBu4guOQLSvH+D9p/aRWzdEG+KEJ4rRYl2nZANp01Z8DbHepvriMHuuYpMKcdYqAheN57CpJRtlWXIpZwJo+a/yZ82VLS0t8aHHQAtZVA4chW/x2AXGbN3PR3tOrN9Hhno8W3hvH0GbdNfQq0yuXA5HAVYyi7SOD/xR8rlWRYt5WGEATyoQDpYuzHZ4WKHAf+IGT+bUATWHlPjDSEaRv+L5sf4fSurXxvJeaI7Z/5CLV5BauF79QJcPrzzhWaUl2Vh3o2oZv61GHxg6NFJtHKYh6DbXvgCc/OGpg5Wcw+vqx5NEKlzrkpy9bU5jfdu6+tRGcB/WHByXPa3Q669EppRlCVbBD4cqKa278CEBRcmgDbpYo9pMTK49BHn+itN0NMu7dHa3d9JKrwVLzNmOkw3RlVyKmv9KSo14mV0Qf5bFoMX3GalkM8NAgZTLedkteHl87geX311j9i/6ZWQNt785SQ1Tjg0B+9FPeeLrMBk37YYdn0Bfp24k3zpQpDdgaNIi5wJONLn6Kz4HZhtQnHV0tTkkGXNAMWn+4IDD08WjOa7mIubmF4aw8lGv/6ZgLhNMLvE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1693490790

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

%REPLACES%
python-z3

