me
/
guix
Archived
1
0
Fork 0
Code

gnu: gprolog: Use license prefix. 

* gnu/packages/prolog.scm (gprolog)[license]: Use prefix for list of licenses.
master
Brett Gilio 2020-01-03 21:43:34 -06:00
parent a06a4f9182
commit e4ed992953
No known key found for this signature in database
GPG Key ID: 672243C4A03F0EEE
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gnu/packages/prolog.scm
View File

@ -20,7 +20,7 @@
(define-module (gnu packages prolog) (define-module (gnu packages prolog)
#:use-module (guix download) #:use-module (guix download)
#:use-module (guix licenses) #:use-module ((guix licenses) #:prefix license:)
#:use-module (guix packages) #:use-module (guix packages)
#:use-module (guix build-system gnu) #:use-module (guix build-system gnu)
#:use-module (srfi srfi-1)) #:use-module (srfi srfi-1))
@ -61,7 +61,8 @@
solving over finite domains. It accepts Prolog+ constraint programs and 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.") 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. ;; See 'configure' for the list of supported architectures.
(supported-systems (fold delete (supported-systems (fold delete