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 | patches-79c311b81cd8b12075f4c8028a65787481ee40c5.tar patches-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+)))) |