%FILENAME%
mingw-w64-ucrt-x86_64-z3-4.8.9-2-any.pkg.tar.xz

%NAME%
mingw-w64-ucrt-x86_64-z3

%BASE%
mingw-w64-z3

%VERSION%
4.8.9-2

%DESC%
Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)

%CSIZE%
17650524

%ISIZE%
85480570

%MD5SUM%
96357ff6d5cffaf114af46d9d82ae149

%SHA256SUM%
eb337810db880ad5a0c7d5e1e2750537ffdf7329e6fcf647f94abddcf2079316

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1628600940

%PACKAGER%
Unknown Packager

%MAKEDEPENDS%
mingw-w64-ucrt-x86_64-cmake
mingw-w64-ucrt-x86_64-python3

