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 | |
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
-rw-r--r-- | .SRCINFO | 10 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 9 insertions, 5 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 @@ -2,12 +2,12 @@ pkgbase='key-logic' pkgname=("$pkgbase" "$pkgbase-examples") pkgver=2.4.1 -pkgrel=1 +pkgrel=2 pkgdesc="A dynamic logic proof tool" arch=('any') url="http://www.key-project.org" license=('GPL2') -depends=('jdk') +depends=('bash' 'java-environment') makedepends=() checkdepends=() optdepends=() |