# Generated by abuild 3.4.2-r3
# using fakeroot version 1.28
# Wed Dec 11 05:38:41 UTC 2024
pkgname = z3
pkgver = 4.8.17-r0
pkgdesc = Mathematical theorem prover
url =  
builddate = 1733895520
packager = Unknown
size = 58665984
arch = ppc
origin = z3
commit = 66185194b969a0fdd077d1a29577a64cf11d0899
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
provides = so:libz3.so.4.8=4.8.17.0
provides = cmd:z3
depend = so:libc.musl-ppc.so.1
depend = so:libgcc_s.so.1
depend = so:libgmp.so.10
depend = so:libstdc++.so.6
datahash = d775137c6a7648a2831f3ba6c2548835f9d9edff6a674e9299780b5f6b34721e
