# Generated by makepkg 5.0.1
# using fakeroot version 1.20.2
# Sat May  7 00:42:47 UTC 2016
pkgname = python2-z3
pkgbase = z3
pkgver = 4.4.1-2
pkgdesc = Python 2 bindings to Z3 SMT solver
url = https://github.com/delcypher/z3-1.git
builddate = 1462581767
packager = Unknown Packager
size = 570368
arch = x86_64
license = MIT
conflict = z3-bin
conflict = z3-codeplex
conflict = z3-git
depend = libz3=4.4.1-2
depend = python2>=2.7
makedepend = git
makedepend = python3
makedepend = mono
makedepend = java-environment
