summary refs log tree commit diff
path: root/gnu/packages
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2020-01-12 00:37:51 +0100
committerLudovic Courtès <ludo@gnu.org>2020-01-12 00:37:51 +0100
commit7bd000d104f79f2b1c51c48c9d01f247189f9935 (patch)
tree319dd61f628247e528d06f784b24a5579b08c3e4 /gnu/packages
parentf9e0488c5002d3a102243583e408fa5f54b826eb (diff)
downloadguix-7bd000d104f79f2b1c51c48c9d01f247189f9935.tar.gz
gnu: Fix license of several GNOME packages.
* gnu/packages/gnome.scm (gnome-color-manager)[license]: Change to GPL2+.
(gnome-online-miners)[license]: Likewise.
(gnome-menus)[license]: Change to LGPL2.0+.
Diffstat (limited to 'gnu/packages')
-rw-r--r--gnu/packages/gnome.scm6
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index efc6113a03..2e5f129a07 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -298,7 +298,7 @@ features to enable users to create their discs easily and quickly.")
 it easy to manage, install and generate color profiles
 in the GNOME desktop.")
    (home-page "https://gitlab.gnome.org/GNOME/gnome-color-manager")
-   (license license:gpl2)))
+   (license license:gpl2+)))
 
 (define-public gnome-online-miners
   (package
@@ -333,7 +333,7 @@ in the GNOME desktop.")
 go through your online content and index them locally in Tracker.
 It has miners for Facebook, Flickr, Google, ownCloud and SkyDrive.")
     (home-page "https://wiki.gnome.org/Projects/GnomeOnlineMiners")
-    (license license:gpl2)))
+    (license license:gpl2+)))
 
 (define-public libmediaart
   (package
@@ -385,7 +385,7 @@ extraction, and lookup for applications on the desktop.")
     (description "GNOME Menus contains the libgnome-menu library, the layout
 configuration files for the GNOME menu, as well as a simple menu editor.")
     (home-page "https://gitlab.gnome.org/GNOME/gnome-menus")
-    (license license:gpl2)))
+    (license license:lgpl2.0+)))
 
 (define-public deja-dup
   (package