# Generated by abuild 3.14.1-r1
# using fakeroot version 1.36
pkgname = py3-z3
pkgver = 4.13.3-r0
pkgdesc = Python bindings for z3
url = https://github.com/Z3Prover/z3
builddate = 1728746702
packager = Buildozer alpine-devel@lists.alpinelinux.org
size = 633967
arch = noarch
origin = z3
commit = 58428718b9b8d3b814d857c0b7e02a44adc7262b
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
license = MIT
depend = python3
# automatically detected:
provides = py3.12:z3=4.13.3-r0
depend = python3~3.12
datahash = 376d6ca65076558e2cedfc3e2a49bd0abdeb14b16f84285fb9cbf4a6106e3aad
