# Generated by mksrcinfo v8
# Wed Jan 20 06:54:01 UTC 2016
pkgbase = key-logic
	pkgdesc = A dynamic logic proof tool
	pkgver = 2.4.1
	pkgrel = 2
	url = http://www.key-project.org
	arch = any
	license = GPL2
	depends = bash
	depends = java-environment
	source = http://www.key-project.org/download/releases/2.4.1/KeY-2.4.1.tgz
	sha256sums = 865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321

pkgname = key-logic
	depends = bash
	depends = java-environment
	depends = key-logic-ext
	optdepends = key-logic-examples: for example proofs

pkgname = key-logic-examples
	pkgdesc = Example proofs for KeY
	depends = key-logic