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

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

%ISIZE%
82716747

%MD5SUM%
dad66ee02459f674b395cbd06bfe48bf

%SHA256SUM%
1d1950fd78f7db14f09b75b77be7ed9f52ba4147bf5d43260f3bf65e7543d5e9

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

%LICENSE%
MIT

%ARCH%
any

%BUILDDATE%
1628600974

%PACKAGER%
Unknown Packager

%MAKEDEPENDS%
mingw-w64-i686-cmake
mingw-w64-i686-python3

