%FILENAME%
z3-4.16.0-0-i686.pkg.tar.xz

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-0

%DESC%
Z3 is a theorem prover from Microsoft Research

%CSIZE%
14086020

%ISIZE%
50765942

%MD5SUM%
56fa371c36a50ebf38c18a86753b8ddf

%SHA256SUM%
fb0b4924beb2fd3bd6d6df909ef578c18f79d8ca5ebd9b035f915634890e3af2

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmmWv/UACgkQOJzu1kVz38qlEwv/Rtq1Nok1fhGq+oazpWYS3ljtZt/6mfqvNLaFJtf1VQRIg7ZyrzPrg0WcLMfuJ+Z0WC0UNht6zIFctFnxxFdHKLV6un+wxxKjOgyXi/p233SUZtyPmIsHsl+kyaWpbmKj0rnq8I/NdJ7N5ETC2xZPmcsjstwV8RkEewjTBGdUJ2YX6O7E+t3DDr74pFsa+pOrUgDyw8+1/DmwiTgRXk1ndnPSkySIrhqVxJbf5n/GU0NNU6u/uHYluAh7C1EhBLybNe69aI407V6lnU0lwstYCk0JSkDXlqyRowo7NjO6eBfFoX06+MpjMngmNUNE2EhXlYTNfw/Qi6EL0GqF4wv6iDTy7hPZtKLa2VhDVNLUkgMs4JEErpvTgH2vG/83RoqnR2HH5p3rl6EUOkxSzvSRBJooVhocT4Coy81pe9XBYlC7CX39wtJx6vL837WUoqc94DYb4oeKDG1ruyvLdqzPHEGtRgIZP0dumMj+aVFRoww7d1mbl94qXHU6zMXlb4yG

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

%LICENSE%
MIT

%ARCH%
i686

%BUILDDATE%
1771486271

%PACKAGER%
@termux

%DEPENDS%
libc++

