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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.4-1

%DESC%
High-performance theorem prover

%CSIZE%
13474240

%ISIZE%
52495988

%MD5SUM%
beda0d439b3b2172f6144c62058950ce

%SHA256SUM%
9259ec7d48e17f163304d71bdaa6baa62a73c58d02928741d3f718e03e273807

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmWIWysACgkQdxk/FSvb5qYcFxAAkeOAZU7rRJ0plJNAe6O9bKs3Y1WttkhJLOfVdVkpeFY5BWo4mFw4Am2kdgJoTqnbwEHv0PUgpE6Y0wStXLI16XJr+IUSLLbckN7ewszR+9jiEI4qGQejXkVnTes+ivOE5GJafroM8YQSchtpTe2pLjiqwTh8EzSAD0970zNvJYiDjHQUqyc3H0FUM0VXUyPsne40kgFJkJfoRrRe8JgTvGtkYYQgSq2KH9pmv+tZ98sni5G11Z8UOg9YoUPYLMJD9V3veuZNGr/Y1Ts8eqyLA/5apntIV4lQwBJSvgd7W6suMSsuvbP68IbxcjAEVK4LUkO/HpM6vnxpa39W3nhOaeZftY6Ot+nqV3TBERbs28NGNOwoYRh/C4QayRauH0L8bXRonxqHKBC4oa1ij5Pg7jWiEdom42PsglUBmDTMkYIP+FsuFXhV1LDHUznB+pTYN+hE1eNJsfIpJpjhkJwb9SJBTceWYcF7TaBIfz+8Nh0XH53iWRg9d6pKQghie/26NY3et+PkYigpFqICYCKYDSbbofZA4uCygg5mvg4DWKd0/ir52kMNfW42VA29Cgm4l0N6O2gWlY/SeHQIvCmaCBOIfTBxCf09NW2vQoUwq7QqJkE0D64+8HThqBAMvqhqbgDMMnRBtdESXgI13AE4HOX7HYPX1vk7v1uEceKyKLc=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1703434645

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

