# Generated by abuild 3.4.1-r2
# using fakeroot version 1.24
# Mon Oct 26 03:19:26 UTC 2020
pkgname = z3-dev
pkgver = 4.8.8-r0
pkgdesc = Mathematical theorem prover (development files)
url =  
builddate = 1603682365
packager = Unknown
size = 512000
arch = armv7
origin = z3
commit = 7fffafdd3a49caacab7d1391cdf420c2bd4887a6
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
install_if = dev z3=4.8.8-r0
# automatically detected:
datahash = a5878661fd49719ecc70cbe2644dea70687fc069912c25423bb3ae70b403ce5e
