%FILENAME%
python-z3-4.9.1-1-aarch64.pkg.tar.xz

%NAME%
python-z3

%BASE%
z3

%VERSION%
4.9.1-1

%DESC%
High-performance theorem prover

%CSIZE%
184144

%ISIZE%
1740986

%MD5SUM%
2b59c6b219eb24e293a2e56b20261587

%SHA256SUM%
dd19a23c25312a3dd0d54b810821e68278660a22de5dc9886bf85abfd57730ee

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmL3+RsACgkQdxk/FSvb5qZa1RAAkF6hyDVFyKDvtGSegLk9PUx/+oybldl0d7TzXdT+6hNAX4FM5SSPbDGtXFdhkuW9+3TUOd62riLn9zUmQ54kBbqDPH2YQgMuWlmKe8R92BgE/Cuc2zy/aMRTr7khL1+/IdX3C3Ip6LLaYX5GdEZGjmuKvQZ+haxmy8TN1SBZq6+jMNdgD9jbf8vqJp/lV2QrNZ+vZMrK+w8oT/svRjDMngEU902zy/L3Gan98c7bnt+n8AdwZ9hoSozw5PtYtFFllb7CxVWnYo4niskT57o5jU/wQ8VD/BnbKRtwLRqgS2hgaObq24BxqSdHhghXb1Tea7gn99A8S51Gz2g1EnkZNZ0/W5XXnkI38MrI/fnRywOsLiJsiwNRMeIf/5SlkXEB2R+aMj4AzjemQ2fadqkRgh+q6dliV5lA2c/svatbYTzVO8hBc9Lk6ZxUHTvOVffuhG5OKdfP858ve9tpKcryOfJC/tSlJbd53dr7WVY6qcJ343x6TZv8cVStYSTl+r6ZHC1Q+Q0nUGL8Lg9LfU0cho4PtfNmXD9EZZXY+gY7lIjizoQ1t5ix+bWDFcdY58fwrDf2Z1Ju3xXz2Wb90NsT0b8/Y6iACJdKFjL6y9m9qN0IK1fQnUaZwGiYiDiWH+fg02sz3zOfgIjf8nXTl5Laa9CBNLUQ/8n2aNfLAcXtbf8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1660417865

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

