# Generated by makepkg 5.1.0
# using fakeroot version 1.22
pkgname = z3-codeplex
pkgbase = z3-codeplex
pkgver = 4.7.1-1
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Codeplex sources, libraries only)
url = https://github.com/Z3Prover/z3
builddate = 1528721572
packager = Unknown Packager
size = 39996416
arch = aarch64
license = custom
depend = gcc-libs
makedepend = python2
makedepend = cmake
