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

%NAME%
mingw-w64-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%
17180156

%ISIZE%
83454439

%MD5SUM%
306a5e94cfe44252e27da117a44f290d

%SHA256SUM%
662cb44b70b49a5dc8203ab5d95634d7585441708be57bbea8e33abd60c2366d

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1628600943

%PACKAGER%
Unknown Packager

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

