# Generated by abuild 3.3.1-r2
# using fakeroot version 1.23
# Sun Oct  6 17:46:10 UTC 2019
pkgname = z3-dev
pkgver = 4.8.6-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1570383970
packager = A. Wilcox <awilfox@adelielinux.org>
size = 516096
arch = ppc
origin = z3
commit = 8389dfaf961fa1588d8d565788dbd7c41800be11
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
datahash = f3d559be90b73ad33c22800146019941186cb30cd61991a203106be3c093569e
