diff options
| author | Jeremy Symon | 2015-06-10 21:56:32 +1200 |
|---|---|---|
| committer | Jeremy Symon | 2015-06-10 21:56:32 +1200 |
| commit | 113cc5084ff534685bdbd1980739bea16fda4ee7 (patch) | |
| tree | e0f6e74e586836729b43627be4658c374019b123 /.SRCINFO | |
| parent | c3c8703154ab820259cb839169a58e84b6cb0073 (diff) | |
| download | aur-113cc5084ff534685bdbd1980739bea16fda4ee7.tar.gz | |
Set description for examples dependency
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 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 |