# Generated by abuild 3.3.1-r1
# using fakeroot version 1.22
# Thu Jun 20 05:24:51 UTC 2019
pkgname = z3-dev
pkgver = 4.8.5-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1561008291
packager = A. Wilcox <awilfox@adelielinux.org>
size = 512000
arch = ppc64
origin = z3
commit = 8f15ca3067e023d9bdb81505bc80ac1ed6041506-dirty
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
datahash = 4fc3bf507471cfc02174ad1f3e37531b65f99933e690f54a5efff784268b9b5b
