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