Set description for examples dependency

2 files changed, 2 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index d2060bba82cc..e0c38af50e91 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index 15ea36c8b6f2..d7f228328425 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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