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

%NAME%
z3

%BASE%
z3

%VERSION%
4.16.0-0

%DESC%
Z3 is a theorem prover from Microsoft Research

%CSIZE%
11952108

%ISIZE%
31503054

%MD5SUM%
52754f966a8cce8fb50098caa2766e78

%SHA256SUM%
af08d948237c240153040fa139e2cc78c264b119f5247e92a3c9f6fe88fedaac

%PGPSIG%
iQGzBAABCgAdFiEEmY3icxjoZ+qXa6h3OJzu1kVz38oFAmmWv+8ACgkQOJzu1kVz38rlDQwAoxlx33a8MDZMeyZKFg+C5uAl9NNXdK6SuFhls5dFwLpf+NPbxhRK9cMp1mz6gnCzlCPEWlmrAHcdZ7uwB9Kbd68Onl98qWcWLEnwO8/rytWl9A3ZLq5CLffC0DDXW4yOWj8GQuJxU8HZI26+sjmXSa+xDPqHqUfHpNppUMagfYJHk+ySePtvEooOD0GBt2Mylo4D2sCQHxa0qOhLczpQTNKTD8w8xur7x+SdICOnXDJOe9LOVfKxU8cRl7zgxPW0HcZH/16G2bGyu4BIT3YnTEcOm/L3Tm/6ARKLMUTXBGBQgpw5ZUsqILC8maT11eMIGkN2NifmV2q5bhwX5/8GJylM7yvppWv8XNmcH+I+/jo+TwSGxDs/VY7SJv1Irjcujt8T6S/TEk5svUGKLbEoF5h3kuMWHDJntZyDLXub9ZLUJYWq/aH7Yc9blNddiORJHQI1bvQVua9aWxw1OKi8sCIirzPJVn1ZzeSw2menQhPQqdeaHEBQsQR+eA3p0mdb

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

%LICENSE%
MIT

%ARCH%
arm

%BUILDDATE%
1771486271

%PACKAGER%
@termux

%DEPENDS%
libc++

