diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -12,7 +12,7 @@ pkgbase = key-logic pkgname = key-logic depends = jdk depends = key-logic-ext - optdepends = key-logic-examples + optdepends = key-logic-examples: for example proofs pkgname = key-logic-examples pkgdesc = Example proofs for KeY @@ -26,7 +26,7 @@ prepare() { } package_key-logic() { - optdepends=("$pkgbase-examples") + optdepends=("$pkgbase-examples: for example proofs") depends+=("$pkgbase-ext") install -Dm755 de/uka/ilkd/key/util/install/startProver_linux \ $pkgdir/usr/bin/$pkgbase |