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

%NAME%
z3

%BASE%
z3

%VERSION%
4.11.0-1

%DESC%
High-performance theorem prover

%CSIZE%
13010592

%ISIZE%
50441146

%MD5SUM%
e49b4e0c6991484f3863d4e5d24ffe51

%SHA256SUM%
35c29495e4c1d97dbef76ff57050290bd4fc60fed70afaeb7f8e8bf5922b08f6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmL/3FwACgkQdxk/FSvb5qaFlw//ZY8JnSBGXfBPYsGLFlWBqeUCc8fzJRzObppqnISwBXaO967QYH1BGR0KYfWTokcqm6fCCA01I6Ae+/H2LTGQ0VRfIoVA4ItJYgald8CoHxvchelGLipDA1f2rY0WGGfhK3z8cv5VJfP4qGOSohAEZ2PGyoHXYYX/qJVQO1+zvNFnp1wLOH9Y+jLr/CSDTec+7hc5BW7x5MPfC00fBnP6iDkjJ+Rk7gHnMwXwAANKk9dn5OviDahFGJ7I2GZP3tdqZ133Y5gZ+YZrG3rEtBIxtvJcGqMaepyidp35XdzsrXTMrkHBEXb+AenhrIsAVDdQfKHfZsEdXrkoJrLP609c4Z9OUyNq6OxM8BnY4t3Qw2rls5IKVk6pTa3NnuzBQLb222UXLp4QOj6FbWdL0z+KpbdInpLnMy2VxjYyX6KrUZTy6NPHKqObwxKyn3cX3gE5uq8mtBBNIZemZX1hE8GQiNgFpwloFS6ehYBbVRafTiVCGq/dGKYIZQwX1cCdNwSnrsiMRSogKOvTwWuUjqeWRpfCblRXq61rF9wwmPInhixArLz919pxm9dVQlQsRDsXo0kuDsPeCtvYdwQY/gkEf6eshtofRP8gfXhql3B66SdE6PcKAneL8qhjb4lrrTH5DJ1EU2Y8bc6Qf3azWWjbZ/6sjCjOLIMvbmlAgak/hA8=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1660934869

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

