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

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-0

%DESC%
Z3 is a theorem prover from Microsoft Research

%CSIZE%
13672436

%ISIZE%
49038590

%MD5SUM%
c0434a6672d4b7bf61354f01390e0d68

%SHA256SUM%
82f8621a4192bff2dbec143fc5c9f01d42b7c54842a6df58d377cbd63bea7ebd

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmmWv/YACgkQOJzu1kVz38rscgv9Go0MweXuzl4UZ04GZx+jeAOLWgvgGzhKi9daogT+z86Nhu0ozM9Ax9RW5DEJpjVmcmTUiboUX8FKOhF2aFC2wNcnQ1eL+QvtML35/hGX9Z8jjJhEsCiQisUWKJuhPQUa8jrQ47f8w1/fAZr3RvMq0jNnsmvn3j0RLBbVgPh6wzG6VwQT4L4z0xJilgWRfuG0BJs5husUL95I7HmjbnUNO+L2IQ1KaWkfcammihSrCbNnR3NF8qj6VCS8M5ZehMhWn8GeJEaTIdhKfys8nhiAVHQYubNPmLht2GvtjOVblhmWxCrd5u7xeS6hUJRzQM1YA0mu7wNq6oaleg9lH67wnuTRMEEF1ULYtmoD58pXSu0WUdJxng6+psrMgBXqZzNevdPNC7nD+KYULp1FJIHfY4iXGcGyDR7jC6DcBaCO6uwJuDNIy/ZVP6nJ6UrHX0h0OEIg3Ko+z+n6BGqaUQ9z48oYOIx2BBffHmmTr8Ks91V6hjGfs2vk2Ps/9fttihFS

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

%LICENSE%
MIT

%ARCH%
x86_64

%BUILDDATE%
1771486271

%PACKAGER%
@termux

%DEPENDS%
libc++

