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

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-0

%DESC%
Z3 is a theorem prover from Microsoft Research

%CSIZE%
11497608

%ISIZE%
47469942

%MD5SUM%
d80cba846e60779c07c610440632af47

%SHA256SUM%
9ca98631aa915fae0bca5c0feb8b77ee2febdfda2a2cd097b1b2bc211ad367aa

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmmWv/AACgkQOJzu1kVz38qChQv/QOKV2c5rkU8E685SwnfrEOBoBMCq8/AJhb/SPv6V/6St6FAZpGggixvgicqh9UJbamJYxISMs96vtQry8EzWBC3js9Hyl9t+p5yaC4tU8C2binP/6YDVs8D07/fMbeOTJHAghPySiTGbs/9zhooHIjuYGAIWWwxdMrtvXaEH0E7apdpwAAc2Jtvcvukurlr4Q6NXQK85y2XoKIvIDpBxhWify94OM7XGlaIqACK3aFr8tJAS0s+6p9S6ZuKGE1/ntFe0o53glYvR1WSX+K6OzVcDvKHAxytSt5HqOIR+Q1dpZUoRpRsXnUtWlHUSR0DtU/JjZFF7AFxc83VBV4+AFhdGYCoJrP2s7624Tun0kJxdYLq/MK03NPbqWuw3iIMSWN+CVIhMTRAH4kCJx6ZyCPNaZB/kc3IJgPFrRFw5DxQvx+kKu5oDnukoGclqzuM38n46mDhC5OrX0cUAskfxXuN5BGAH7SehHHvAtoSDCol9uhSN8lZuw3A+oFcHNZqo

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

%LICENSE%
MIT

%ARCH%
aarch64

%BUILDDATE%
1771486271

%PACKAGER%
@termux

%DEPENDS%
libc++

