# Generated by abuild 3.3.1-r0
# using fakeroot version 1.22
# Fri Apr 26 09:32:33 UTC 2019
pkgname = z3-dev
pkgver = 4.8.4-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1556271153
packager = A. Wilcox <awilfox@adelielinux.org>
size = 503808
arch = ppc
origin = z3
commit = 8f15ca3067e023d9bdb81505bc80ac1ed6041506
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
datahash = 7df391e19b6645742a7367f16ad4dd843dd77ad6c3358621ca2d0693436b50e7
