pkgbase = openjml-bin
	pkgdesc = Java Software Verification Tool
	pkgver = 0.8.44
	pkgrel = 2
	url = https://www.openjml.org/
	arch = any
	license = unknown
	depends = java-runtime
	optdepends = z3
	source = https://github.com/OpenJML/OpenJML/releases/download/0.8.44/openjml-0.8.44-20200413.zip
	source = openjml.sh
	sha256sums = a0ca1867f4b8511fbbbff56968505d9c1120b59efbed6c9ef0eb9077fb763c7d
	sha256sums = ab8579e7d6b0b04542e1fd45c267eca55c9d26dfe2a43b0d8ece0e74eb819aca

pkgname = openjml-bin