%FILENAME%
mingw-w64-i686-z3-4.15.2-4-any.pkg.tar.zst

%NAME%
mingw-w64-i686-z3

%BASE%
mingw-w64-z3

%VERSION%
4.15.2-4

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

%CSIZE%
38867493

%ISIZE%
166519219

%SHA256SUM%
8b8533cff0b90afa3b4440624bc80851f9acffa61e2a4213c6b91bb16b333353

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

%LICENSE%
spdx:MIT

%ARCH%
any

%BUILDDATE%
1777663701

%PACKAGER%
CI (msys2/msys2-autobuild/actions/runs/25228967898/job/73979494007)

%DEPENDS%
mingw-w64-i686-cc-libs

%MAKEDEPENDS%
mingw-w64-i686-cc
mingw-w64-i686-cmake
mingw-w64-i686-ninja
mingw-w64-i686-python

