# Generated by abuild 3.16.0_rc4-r0
# using fakeroot version 1.37.1.2
pkgname = py3-z3
pkgver = 4.15.4-r0
pkgdesc = Python bindings for z3
url = https://github.com/Z3Prover/z3
builddate = 1762967359
packager = Unknown
size = 645087
arch = noarch
origin = z3
commit = 8d6f3366a9df98b4f36fc5a37ded9b68386e123e
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
license = MIT
depend = python3
depend = z3
# automatically detected:
provides = py3.12:z3=4.15.4-r0
depend = python3~3.12
datahash = 619ef7b2666db4ebce3559975bcf9d5baddbffdff8d466c32db2fdeec9ebfa78
