# Generated by makepkg 5.0.1
# using fakeroot version 1.21
# Fri Mar 24 19:45:28 UTC 2017
pkgname = z3-codeplex
pkgver = 4.5.0-2
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 = 1490384728
packager = Mike Henze <cthulu201@archstrike.org>
size = 31449088
arch = armv6h
license = custom
depend = gcc-libs
makedepend = python2
makedepend = cmake
