pkgbase = key-logic
	pkgdesc = A dynamic logic proof tool
	pkgver = 2.6.2
	pkgrel = 1
	url = http://www.key-project.org
	arch = any
	license = GPL2
	makedepends = unzip
	depends = bash
	depends = java-environment
	source = https://formal.iti.kit.edu/key/releases/2.6.2/key-2.6.2_00c1abfd22b738afe24e89fecc2ee4eec2c38f4a.zip
	source = launcher
	sha256sums = ebf66973e077f4f0ebfa4c97eae1f14b6a57c02b06b1f8cf2b10542e59d37bf5
	sha256sums = c7ad44a846da4991ac2c5981649cf77cdb9ceae76dc2bd530e84e8b42f56566f

pkgname = key-logic