# Generated by abuild 3.3.1-r0
# using fakeroot version 1.22
# Wed Apr 24 05:57:53 UTC 2019
pkgname = z3-dev
pkgver = 4.8.4-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1556085473
packager = A. Wilcox <awilfox@adelielinux.org>
size = 503808
arch = ppc64
origin = z3
commit = -dirty
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
datahash = fc0dd22a0402f83a98d07bbfd6ce8c319204da543395a451c22cc58e78539596
