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