# Generated by abuild 3.16.0-r0
# using fakeroot version 1.37.2
pkgname = py3-z3
pkgver = 4.15.8-r0
pkgdesc = Python bindings for z3
url = https://github.com/Z3Prover/z3
builddate = 1771089669
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 650167
arch = noarch
origin = z3
commit = bcc28b4ae6f43415c53b7fade2984665d6e59cdb
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
license = MIT
depend = python3
depend = z3
# automatically detected:
provides = py3.12:z3=4.15.8-r0
depend = python3~3.12
datahash = 7185224057931f4ec47e09e1f5fd38bf93fdc7c34888652890ff89fe5b871fe3
