summaryrefslogtreecommitdiff
path: root/gnu
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
parentf9e0488c5002d3a102243583e408fa5f54b826eb (diff)
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')
-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