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

%NAME%
mingw-w64-clang-aarch64-z3

%BASE%
mingw-w64-z3

%VERSION%
4.15.2-1

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

%CSIZE%
21190869

%ISIZE%
145652115

%SHA256SUM%
11835373ce6ef4c910abe77997bdce5ef49149203b82541cb968f89934c16bcd

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

%LICENSE%
spdx:MIT

%ARCH%
any

%BUILDDATE%
1753510398

%PACKAGER%
CI (msys2/msys2-autobuild/ab3c2437/16536848907)

%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-build
mingw-w64-clang-aarch64-python-installer
mingw-w64-clang-aarch64-python-setuptools

