# Generated by makepkg 5.0.2
# using fakeroot version 1.22
# Sun Jan 21 14:52:19 UTC 2018
pkgname = python2-z3-solver
pkgver = 4.5.1.0.post2-1
pkgdesc = an efficient SMT solver library
url = https://github.com/Z3Prover/z3
builddate = 1516546339
packager = Mike Henze <cthulu201@archstrike.org>
size = 36739072
arch = any
license = CUSTOM
depend = python2
makedepend = python2-distribute
