pkgbase = z3
	pkgdesc = High-performance theorem prover
	pkgver = 4.13.4
	pkgrel = 2
	url = https://github.com/Z3Prover/z3
	arch = x86_64
	license = MIT
	makedepends = git
	makedepends = glibc
	makedepends = cmake
	makedepends = ninja
	makedepends = python
	makedepends = python-setuptools
	makedepends = gcc-libs
	makedepends = python-build
	makedepends = python-installer
	makedepends = python-wheel
	source = git+https://github.com/Z3Prover/z3.git#tag=z3-4.13.4
	sha512sums = 94e5ebcaab24182de3802d3a5c0627a44635d1da3ac67c5135b6016c9b00db2a8946303667a4578680b5329ba5605749d8011b23943be205409bcb1fa7aeb97e
	b2sums = a2198b365278fcb3e40ce1013891b341104e24cbd76e78bcf558f93ec8db9a833068f183370548bc4fdff25424f6985e295bba6f5a6896bc2f0763df03a1a97c

pkgname = z3
	depends = glibc
	depends = gcc-libs
	provides = libz3
	provides = libz3.so

pkgname = python-z3-solver
	depends = python
	depends = python-setuptools
	depends = z3
	conflicts = python-z3
	replaces = python-z3