# 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 = armv7
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 = 4c68ed62f834c5f4491f597006c46b6fae1f482ec5a808a684c1129cb18a1ae7
