1 files changed, 1 insertions, 1 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