# Generated by makepkg 6.0.2
pkgname = mingw-w64-clang-aarch64-z3
pkgbase = mingw-w64-z3
pkgver = 4.12.5-1
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
url = https://github.com/Z3Prover/z3
builddate = 1706011449
packager = CI (msys2-arm/msys2-autobuild/1c45f2ab/7625012865)
size = 132397934
arch = any
license = spdx:MIT
depend = mingw-w64-clang-aarch64-gcc-libs
depend = mingw-w64-clang-aarch64-gmp
makedepend = mingw-w64-clang-aarch64-cc
makedepend = mingw-w64-clang-aarch64-cmake
makedepend = mingw-w64-clang-aarch64-ninja
makedepend = mingw-w64-clang-aarch64-python
