blob: e0c38af50e91887016abeef32b9a3b503ebd8a56 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
pkgbase = key-logic
pkgdesc = A dynamic logic proof tool
pkgver = 2.4.1
pkgrel = 1
url = http://www.key-project.org
arch = any
license = GPL2
depends = jdk
source = http://www.key-project.org/download/releases/2.4.1/KeY-2.4.1.tgz
sha256sums = 865e7186a031b4eb8d1575114dbf1a7da1179e00341568d89324462e84083321
pkgname = key-logic
depends = jdk
depends = key-logic-ext
optdepends = key-logic-examples: for example proofs
pkgname = key-logic-examples
pkgdesc = Example proofs for KeY
depends = key-logic
|