GNU bug report logs - #67351
[PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Vivien Kraus <vivien <at> planete-kraus.eu>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#67351: closed ([PATCH gnome-team] gnu: gnome-user-docs:
 Update to 44.6.)
Date: Tue, 09 Jan 2024 11:24:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Tue, 09 Jan 2024 12:23:22 +0100
with message-id <7e88e26a3828419626ad866b907d10c9b6cd6a48.camel <at> planete-kraus.eu>
and subject line [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
has caused the debbugs.gnu.org bug report #67351,
regarding [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
67351: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=67351
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: guix-patches <at> gnu.org
Cc: rg <at> raghavgururajan.name, liliana.prikler <at> gmail.com,
 maxim.cournoyer <at> gmail.com
Subject: [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
Date: Tue, 21 Nov 2023 23:28:52 +0100

* gnu/packages/gnome.scm (gnome-user-docs): Update to 44.6.
[home-page]: Update from redirection.

Change-Id: I8c0989881be2cadac8453dc5d1df6c97857822eb
---
 gnu/packages/gnome.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm
index ab485cffb1..709601c918 100644
--- a/gnu/packages/gnome.scm
+++ b/gnu/packages/gnome.scm
@@ -1929,7 +1929,7 @@ (define-public gnome-commander
 (define-public gnome-user-docs
   (package
    (name "gnome-user-docs")
-   (version "42.0")
+   (version "44.6")
    (source
     (origin
       (method url-fetch)
@@ -1937,7 +1937,7 @@ (define-public gnome-user-docs
                           (version-major version)
                           "/gnome-user-docs-" version ".tar.xz"))
       (sha256
-       (base32 "01g9smkk2sj3yrih2wjn6vx9av855n7w6nqf9wpxvfq086h7vcmj"))))
+       (base32 "0ds2mccrgmb4jgw196jjm7xzlvnir8k80g1v55sd4nn00prc1b9g"))))
    (build-system gnu-build-system)
    (native-inputs
     (list gettext-minimal itstool pkg-config libxml2))
@@ -1946,7 +1946,7 @@ (define-public gnome-user-docs
     "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")
+   (home-page "https://wiki.gnome.org/DocumentationProject")
    (license license:cc-by3.0)))
 
 (define-public dia

base-commit: 1cc3b7e80f60a2a5a6a1400ed0b025efeae7a523
-- 
2.41.0

[Message part 3 (message/rfc822, inline)]

From: Vivien Kraus <vivien <at> planete-kraus.eu>
To: 67351-done <at> debbugs.gnu.org
Subject: [PATCH gnome-team] gnu: gnome-user-docs: Update to 44.6.
Date: Tue, 09 Jan 2024 12:23:22 +0100

I see it has been merged, thank you!

Best regards,

Vivien

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.