# Generated by abuild 3.4.2-r3
# using fakeroot version 1.28
# Sun Dec  8 21:23:32 UTC 2024
pkgname = z3
pkgver = 4.8.17-r0
pkgdesc = Mathematical theorem prover
url =  
builddate = 1733693012
packager = Unknown
size = 63319040
arch = ppc64
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-ppc64.so.1
depend = so:libgcc_s.so.1
depend = so:libgmp.so.10
depend = so:libstdc++.so.6
datahash = 3240ce4313cda44efbaa8a4c25922ab636b5416b186f16b0b4e347927f8c76ba
