# Generated by abuild 3.3.1-r1
# using fakeroot version 1.22
# Sat Jun 22 02:23:46 UTC 2019
pkgname = z3
pkgver = 4.8.5-r0
pkgdesc = Mathematical theorem prover
url =  
builddate = 1561170226
packager = A. Wilcox <awilfox@adelielinux.org>
size = 40275968
arch = aarch64
origin = z3
commit = 879d6e5a97bf270e82ae0af7f7b9425230c6ad9c
maintainer = A. Wilcox <awilfox@adelielinux.org>
license = MIT
# automatically detected:
provides = so:libz3.so=0
provides = cmd:z3
depend = so:libc.musl-aarch64.so.1
depend = so:libgcc_s.so.1
depend = so:libgmp.so.10
depend = so:libgomp.so.1
depend = so:libstdc++.so.6
datahash = c170caa2ef78f5a666b7aeb727004bebadb9ec47377d5c24e96b82404709c8a5
