# Generated by abuild 3.15.0_rc3-r3
# using fakeroot version 1.37.1.1
pkgname = py3-z3
pkgver = 4.15.0-r0
pkgdesc = Python bindings for z3
url = https://github.com/Z3Prover/z3
builddate = 1746977792
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 640746
arch = noarch
origin = z3
commit = 5e980a55d6684c6cf1050269bc87bea650e4df6b
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
license = MIT
depend = python3
depend = z3
# automatically detected:
provides = py3.12:z3=4.15.0-r0
depend = python3~3.12
datahash = fb8593cbc1e22b64ef16ea66ea1229313659df45491cca7d579e285eb2aca1aa
