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

%NAME%
mingw-w64-clang-aarch64-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%
21314371

%ISIZE%
145844820

%SHA256SUM%
1cb4bf683058de85fa6134cef3b1ab3cad2d0f1bdd6e7a7489a6dd9ff0d96517

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

%LICENSE%
spdx:MIT

%ARCH%
any

%BUILDDATE%
1784054435

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

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

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

