# Generated by abuild 3.3.1-r1
# using fakeroot version 1.22
# Mon Jun 24 02:21:01 UTC 2019
pkgname = z3-dev
pkgver = 4.8.5-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1561342861
packager = A. Wilcox <awilfox@adelielinux.org>
size = 512000
arch = ppc
origin = z3
commit = 879d6e5a97bf270e82ae0af7f7b9425230c6ad9c
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
datahash = fb2056c9a6392cf53f1641697f021126fbda7b9520fdd0be722ad1bc57ccd889
