# Generated by makepkg 7.0.0
# using fakeroot version 1.37.1.2
pkgname = mingw-w64-z3
pkgbase = mingw-w64-z3
xdata = pkgtype=pkg
pkgver = 4.15.1-1
pkgdesc = High-performance theorem prover (mingw-w64)
url = https://github.com/Z3Prover/z3
builddate = 1750167903
packager = Martchus <martchus@gmx.net>
size = 136641885
arch = any
license = MIT
depend = mingw-w64-gmp
makedepend = mingw-w64-cmake
makedepend = python
