# Generated by abuild 3.10.0_rc1-r2
# using fakeroot version 1.29
# Sun Sep  4 16:23:27 UTC 2022
pkgname = z3-dev
pkgver = 4.11.2-r0
pkgdesc = Theorem prover from Microsoft Research (development files)
url = https://github.com/Z3Prover/z3
builddate = 1662308607
packager = Buildozer alpine-devel@lists.alpinelinux.org
size = 618496
arch = ppc64le
origin = z3
commit = d991ad79679505121274320672b1af9fa4a0074e
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
license = MIT
# automatically detected:
provides = pc:z3=4.11.2.0
depend = pkgconfig
depend = z3=4.11.2-r0
datahash = ce9572a99ed3a2e0f5cfe7dafd15d0c61b113d6682eff69def443d7a308ab150
