pkgbase = key-bin
	pkgdesc = Java Software Verification Tool
	pkgver = 2.6.3
	pkgrel = 1
	url = https://www.key-project.org/
	arch = any
	license = GPL
	depends = java-runtime
	source = https://formal.iti.kit.edu/key/releases/2.6.3/key-2.6.3_7d3deab0763c88edee4f7a08e604661e0dbdd450.zip
	source = key.desktop
	source = key.sh
	sha256sums = b7b8373b91b915bbace69a880e47f27b9c6e72f3d852907ec64e645f663e8211
	sha256sums = 883e62e3dd9d9c164e9e7c5199333409937a7591c1b17003dbb04beec7c27980
	sha256sums = 449a4874434aabc061ba713a96966e1d6baa524f4e5c8b140cf03985c3b60b43

pkgname = key-bin