diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -1,16 +1,20 @@ +# 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 = 1 + pkgrel = 2 url = http://www.key-project.org arch = any license = GPL2 - depends = jdk + 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 = jdk + depends = bash + depends = java-environment depends = key-logic-ext optdepends = key-logic-examples: for example proofs |