diff options
author | Jeremy Symon | 2016-01-20 19:56:20 +1300 |
---|---|---|
committer | Jeremy Symon | 2016-01-20 19:56:20 +1300 |
commit | 590845430b891bfd06bfcf499b1351fb72a27b63 (patch) | |
tree | 28a4d58974746a499439e0ac305cb9f15a100f23 /.SRCINFO | |
parent | 113cc5084ff534685bdbd1980739bea16fda4ee7 (diff) | |
download | aur-590845430b891bfd06bfcf499b1351fb72a27b63.tar.gz |
Fixed dependencies
namcap says bash is needed for the shell script
AUR user bezirg asked to depend on more general java-environment instead of jdk
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 |