%FILENAME%
mingw-w64-clang-x86_64-z3-4.16.0-1-any.pkg.tar.zst

%NAME%
mingw-w64-clang-x86_64-z3

%BASE%
mingw-w64-z3

%VERSION%
4.16.0-1

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

%CSIZE%
22446649

%ISIZE%
149569730

%SHA256SUM%
85231e5530ab9fe60e50cec5967cb26ff318a571af62e3a8faeb7642612c4627

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

%LICENSE%
spdx:MIT

%ARCH%
any

%BUILDDATE%
1784054337

%PACKAGER%
CI (https://github.com/msys2/msys2-autobuild/actions/runs/29358622136/job/87172623362)

%DEPENDS%
mingw-w64-clang-x86_64-cc-libs
mingw-w64-clang-x86_64-gmp

%MAKEDEPENDS%
mingw-w64-clang-x86_64-cc
mingw-w64-clang-x86_64-cmake
mingw-w64-clang-x86_64-ninja
mingw-w64-clang-x86_64-python
mingw-w64-clang-x86_64-python-setuptools

