# Generated by makepkg 6.0.0
pkgname = mingw-w64-ucrt-x86_64-z3
pkgbase = mingw-w64-z3
pkgver = 4.8.9-2
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (mingw-w64)
url = https://github.com/Z3Prover/z3
builddate = 1628600940
packager = Unknown Packager
size = 85480570
arch = any
license = MIT
makedepend = mingw-w64-ucrt-x86_64-cmake
makedepend = mingw-w64-ucrt-x86_64-python3
