diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-01-12 00:37:51 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-01-12 00:37:51 +0100 |
| commit | 7bd000d104f79f2b1c51c48c9d01f247189f9935 (patch) | |
| tree | 319dd61f628247e528d06f784b24a5579b08c3e4 /gnu/packages/gnome.scm | |
| parent | f9e0488c5002d3a102243583e408fa5f54b826eb (diff) | |
| download | patches-7bd000d104f79f2b1c51c48c9d01f247189f9935.tar patches-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/gnome.scm')
| -rw-r--r-- | gnu/packages/gnome.scm | 6 |
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 |