# Generated by makepkg 5.0.1
# using fakeroot version 1.21
# Fri Mar 24 11:00:00 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 = 1490353200
packager = Kevin MacMartin <prurigro@archstrike.org>
size = 39587840
arch = i686
license = custom
depend = gcc-libs
makedepend = python2
makedepend = cmake
