pkgbase = mingw-w64-z3
	pkgdesc = High-performance theorem prover (mingw-w64)
	pkgver = 4.8.8
	pkgrel = 1
	url = https://github.com/Z3Prover/z3
	arch = any
	license = MIT
	makedepends = mingw-w64-cmake
	makedepends = python
	depends = mingw-w64-gmp
	options = !strip
	options = !buildflags
	options = staticlibs
	source = https://github.com/Z3Prover/z3/archive/z3-4.8.8.tar.gz
	sha512sums = a6823cadb7cdad11b8f0db1530676c0ec4853886dfb3c4dbc5b798c5dbd445afb0c61675f81cb7f99c1b1734d9cd0ec96a07c68a948da3c25801fc6767fea47f

pkgname = mingw-w64-z3