# Generated by mksrcinfo v8
# Sun Nov 20 04:47:12 UTC 2016
pkgbase = z3-bin
	pkgdesc = An automatic theorem prover
	pkgver = 4.1
	pkgrel = 1
	url = http://research.microsoft.com/en-us/um/redmond/projects/z3
	arch = i686
	arch = x86_64
	license = custom
	source = http://research.microsoft.com/projects/z3/z3-4.1.tar.gz
	source = http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/Z%203%20MSR-LA%20(2007-07-07).txt
	md5sums = 4b7b4836264a7969f052cea45057e55b
	md5sums = c5f05e7f2f95c796d5101069276d326f

pkgname = z3-bin