# Generated by makepkg 5.0.1
# using fakeroot version 1.21
# Thu Dec  8 03:09:13 UTC 2016
pkgname = z3-codeplex
pkgver = 4.5.0-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 = 1481166553
packager = Tyler Bennett <arch3y@archstrike.org>
size = 37818368
arch = x86_64
license = custom
depend = gcc-libs-multilib
makedepend = python2
makedepend = cmake
