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

%NAME%
z3

%BASE%
z3

%VERSION%
4.12.0-1

%DESC%
High-performance theorem prover

%CSIZE%
13402148

%ISIZE%
51924892

%MD5SUM%
2cac62b3b5ea98f50c4a6ec5c4b64820

%SHA256SUM%
7c870c62bf04abe46b115653fb03d277fd288b2cfc9b6d10113e216280427a5c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmPd1H4ACgkQdxk/FSvb5qZn2A/6AzQQGRXEbo5wFjU225Orw4zXdcJlxGJmIW5tUCzYJjQzkJf/JijfUeHOtfKQLbZML4L7Sq8OeBTDY1WaTCf+K0JkOc0FQuZHi1daNbfkHNRBVZepsnCj3PBpgOqKYE17xKiQRxA1SsunAkKosT/fYPPFdoUeLCfzFXI657ylPI5BYYvLYwWQznhR0GO1sldwvkrfMvQPOjx0yGAuVQqCQxfiiTHXnoYwIUzvR0zSJs+hsJ4LSUMc6/DOkbRbadjh7YFdPDpvSv4Q/rfxhdYd4gy36CGZYg+TtUmSPbyOp3+xbBXHsKEjOGzbjSBNYczTb6ujpIL4vA2uyw51iwJfVdihm8VHruEWKNmB2uPYx/qLZoKJDsDPcqodiAAckH9ZOFNkWF5QPL7fWC17Atyhsnge9MJQujx6re2YgLbJ3RQkFeoez0OVq8q4c/b5iJ/2bymbwFCIB98PnW8m/GELZ11H9e1YviADLFG1uATFh3N7sKOEihHlbZ42Pf+qOmQusrKC1knXPEgCfZxM/yYQwXCsGXFoFipelW8CiWuUs0/sU7CWyr3RXvsU844fIx0nOCYbKhhpgVAhE/skNIHAZeCyKndWbpq7NEEjTJU2BW4caDJmLINgvfGKQRbQDREycR3YfmRpFSNVpJdrdxNXHrngRWDdxvRcGkF/ZoByAgE=

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1675481819

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

