# Generated by abuild 3.3.1-r2
# using fakeroot version 1.23
# Thu Oct  3 22:23:09 UTC 2019
pkgname = z3-dev
pkgver = 4.8.6-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1570141389
packager = A. Wilcox <awilfox@adelielinux.org>
size = 516096
arch = ppc64
origin = z3
commit = 879d6e5a97bf270e82ae0af7f7b9425230c6ad9c-dirty
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
datahash = c4004f7e08a183ee011d28023d95321b7beef2204af3254c2b84c9f96fa29199
