diff options
author | Brett Gilio <brettg@gnu.org> | 2020-01-03 21:43:34 -0600 |
---|---|---|
committer | Brett Gilio <brettg@gnu.org> | 2020-01-03 21:43:34 -0600 |
commit | e4ed9929532794b5b52c795b7356ff7413829eed (patch) | |
tree | a31e0c4d57a3299da14950cca06e38c841a4c866 /gnu/packages/prolog.scm | |
parent | a06a4f918243dc784f9089d60690559b72a4e308 (diff) | |
download | patches-e4ed9929532794b5b52c795b7356ff7413829eed.tar patches-e4ed9929532794b5b52c795b7356ff7413829eed.tar.gz |
gnu: gprolog: Use license prefix.
* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
Diffstat (limited to 'gnu/packages/prolog.scm')
-rw-r--r-- | gnu/packages/prolog.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index 7c344988d5..3eba35abed 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -20,7 +20,7 @@ (define-module (gnu packages prolog) #:use-module (guix download) - #:use-module (guix licenses) + #:use-module ((guix licenses) #:prefix license:) #:use-module (guix packages) #:use-module (guix build-system gnu) #:use-module (srfi srfi-1)) @@ -61,7 +61,8 @@ solving over finite domains. It accepts Prolog+ constraint programs and produces a compiled, native binary which can function in a stand-alone manner. It also features an interactive interpreter.") - (license (list gpl2+ lgpl3+)) + (license (list license:gpl2+ + license:lgpl3+)) ;; See 'configure' for the list of supported architectures. (supported-systems (fold delete |