blob: 3fa90c01efddb7e33aab34e24d2b9969644351ab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
# 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
|