# Generated by makepkg 6.1.0
pkgname = mingw-w64-clang-x86_64-z3
pkgbase = mingw-w64-z3
xdata = pkgtype=pkg
pkgver = 4.14.1-1
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
url = https://github.com/Z3Prover/z3
builddate = 1745125534
packager = CI (msys2/msys2-autobuild/e8d10d7e/14556225535)
size = 145501788
arch = any
license = spdx:MIT
depend = mingw-w64-clang-x86_64-gcc-libs
depend = mingw-w64-clang-x86_64-gmp
makedepend = mingw-w64-clang-x86_64-cc
makedepend = mingw-w64-clang-x86_64-cmake
makedepend = mingw-w64-clang-x86_64-ninja
makedepend = mingw-w64-clang-x86_64-python
makedepend = mingw-w64-clang-x86_64-python-build
makedepend = mingw-w64-clang-x86_64-python-installer
makedepend = mingw-w64-clang-x86_64-python-setuptools
