diff options
author | Ludovic Courtès <ludo@gnu.org> | 2013-12-01 22:33:23 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2013-12-01 22:33:23 +0100 |
commit | 79c311b81cd8b12075f4c8028a65787481ee40c5 (patch) | |
tree | 7fed0959acc6c75a7ad84c18fa4f7bdc83dfbc84 /gnu/packages/gprolog.scm | |
parent | e6a9aa366efb55f8556dd55b8fb6869d40c1d387 (diff) | |
download | gnu-guix-79c311b81cd8b12075f4c8028a65787481ee40c5.tar gnu-guix-79c311b81cd8b12075f4c8028a65787481ee40c5.tar.gz |
gnu: Synchronize descriptions with 'gnumaint'.
Diffstat (limited to 'gnu/packages/gprolog.scm')
-rw-r--r-- | gnu/packages/gprolog.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/gprolog.scm b/gnu/packages/gprolog.scm index ad887cccaa..de323da57c 100644 --- a/gnu/packages/gprolog.scm +++ b/gnu/packages/gprolog.scm @@ -50,6 +50,6 @@ (description "GNU Prolog is a standards-compliant Prolog compiler with constraint solving over finite domains. It accepts Prolog+ constraint programs and -produces a compiled, native binary which can function in a stand- alone +produces a compiled, native binary which can function in a stand-alone manner. It also features an interactive interpreter.") (license (list gpl2+ lgpl3+)))) |