# Generated by makepkg 5.0.1
# using fakeroot version 1.20.2
# Sat May  7 00:42:31 UTC 2016
pkgname = libz3
pkgbase = z3
pkgver = 4.4.1-2
pkgdesc = Z3 is a high-performance theorem prover being developed at Microsoft Research
url = https://github.com/delcypher/z3-1.git
builddate = 1462581751
packager = Unknown Packager
size = 17658880
arch = x86_64
license = MIT
conflict = z3-bin
conflict = z3-codeplex
conflict = z3-git
depend = gcc-libs
makedepend = git
makedepend = python3
makedepend = mono
makedepend = java-environment
