# Generated by mksrcinfo v8
# Sun Nov 20 05:22:00 UTC 2016
pkgbase = z3-bin
	pkgdesc = An automatic high-performance theorem prover
	pkgver = 4.5.0
	pkgrel = 2
	url = http://research.microsoft.com/en-us/um/redmond/projects/z3
	arch = i686
	arch = x86_64
	license = MIT
	makedepends = python
	depends = gcc-libs
	optdepends = python: Z3 bindings for python
	provides = z3
	conflicts = z3
	conflicts = z3-git
	conflicts = z3-codeplex
	source = https://github.com/Z3Prover/z3/releases/download/z3-4.5.0/z3-4.5.0-x86-ubuntu-14.04.zip
	md5sums = 243d48eb4c3531f323056040b94459ad

pkgname = z3-bin