# Generated by abuild 3.16.0_rc4-r0
# using fakeroot version 1.37.1.2
pkgname = z3-dev
pkgver = 4.15.4-r0
pkgdesc = Theorem prover from Microsoft Research (development files)
url = https://github.com/Z3Prover/z3
builddate = 1762967359
packager = Buildozer alpine-devel@lists.alpinelinux.org
size = 584273
arch = ppc64le
origin = z3
commit = 8d6f3366a9df98b4f36fc5a37ded9b68386e123e
maintainer = Sören Tempel <soeren+alpine@soeren-tempel.net>
license = MIT
# automatically detected:
provides = pc:z3=4.15.4.0
depend = z3=4.15.4-r0
depend = pkgconfig
datahash = 2b7d4b529cdabae30de3f6d0b2c4b5f0031d82699538cd2322b830b7a0e7fd31
