summarylogtreecommitdiffstats
path: root/.SRCINFO
blob: b7f8745ab84a4985ac5307be8b645e1747080aff (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
pkgbase = mingw-w64-z3
	pkgdesc = High-performance theorem prover (mingw-w64)
	pkgver = 4.8.9
	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.9.tar.gz
	sha512sums = a50da5c3f9e27d3e804c1b71f648a3dbd5a55223b7344d66f191a1b34a4d787810abd976840d3ab3878aaf5c96d89f5a517cac0781b82aa927a9d8d54836d54f

pkgname = mingw-w64-z3