From b1918a7c727a7b1ae16c7f4008df017f63b526d4 Mon Sep 17 00:00:00 2001 From: Raghav Gururajan Date: Thu, 6 Aug 2020 20:51:52 -0400 Subject: [PATCH 42/44] gnu: gnome-user-docs: Update package definition. * gnu/packages/gnome.scm (gnome-user-docs) [version]: Update to 3.36.2. [source][sha256]: Modify base32. [synopsis]: Modify. [description]: Modify. --- gnu/packages/gnome.scm | 46 +++++++++++++++++++++--------------------- 1 file changed, 23 insertions(+), 23 deletions(-) diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index 0c6bf2115e..1c2a83d17e 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -2028,29 +2028,29 @@ either on a local, or remote machine via a number of methods.") (define-public gnome-user-docs (package - (name "gnome-user-docs") - (version "3.32.3") - (source - (origin - (method url-fetch) - (uri (string-append "mirror://gnome/sources/gnome-user-docs/" - (version-major+minor version) - "/gnome-user-docs-" version ".tar.xz")) - (sha256 - (base32 "0dvsl0ldg8rf7yq0r4dv1pn41s7gjgcqp7agkbflkbmhrl6vbhig")))) - (build-system gnu-build-system) - (native-inputs - `(("gettext" ,gettext-minimal) - ("itstool" ,itstool) - ("pkg-config" ,pkg-config) - ("xmllint" ,libxml2))) - (synopsis "User documentation for the GNOME desktop") - (description - "The GNOME User Documentation explains how to use the GNOME desktop and its -components. It covers usage and setup of the core GNOME programs by end-users -and system administrators.") - (home-page "https://live.gnome.org/DocumentationProject") - (license license:cc-by3.0))) + (name "gnome-user-docs") + (version "3.36.2") + (source + (origin + (method url-fetch) + (uri + (string-append "mirror://gnome/sources/gnome-user-docs/" + (version-major+minor version) + "/gnome-user-docs-" version ".tar.xz")) + (sha256 + (base32 "0n4rbrq5zww6gjjmicyw5hlvzi8azc6m4sisak15snkp6v4f93qr")))) + (build-system gnu-build-system) + (native-inputs + `(("gettext" ,gettext-minimal) + ("itstool" ,itstool) + ("pkg-config" ,pkg-config) + ("xmllint" ,libxml2))) + (synopsis "GNOME User Documentation") + (description "GNOME-User-Docs contains documents that are targeted for +end-users and system administrators of GNOME and have general GNOME +applicability.") + (home-page "https://live.gnome.org/DocumentationProject") + (license license:cc-by3.0))) (define-public gnome-getting-started-docs (package -- 2.28.0