GNU bug report logs - #62311
[PATCH core-updates] gnulib: Depend on git-minimal/pinned.

Previous Next

Package: guix-patches;

Reported by: Josselin Poiret <dev <at> jpoiret.xyz>

Date: Mon, 20 Mar 2023 22:54:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#62311: closed ([PATCH core-updates] gnulib: Depend on
 git-minimal/pinned.)
Date: Mon, 20 Mar 2023 23:03:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Tue, 21 Mar 2023 00:02:38 +0100
with message-id <87lejr2fht.fsf <at> gnu.org>
and subject line Re: bug#62311: [PATCH core-updates] gnulib: Depend on git-minimal/pinned.
has caused the debbugs.gnu.org bug report #62311,
regarding [PATCH core-updates] gnulib: Depend on git-minimal/pinned.
to be marked as done.

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


-- 
62311: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62311
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Josselin Poiret <dev <at> jpoiret.xyz>
To: guix-patches <at> gnu.org
Cc: Josselin Poiret <dev <at> jpoiret.xyz>
Subject: [PATCH core-updates] gnulib: Depend on git-minimal/pinned.
Date: Mon, 20 Mar 2023 23:52:43 +0100
* gnu/packages/build-tools.scm (gnulib)[native-inputs]: Change git to
git-minimal/pinned.
---
 gnu/packages/build-tools.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/packages/build-tools.scm b/gnu/packages/build-tools.scm
index 42244b1ad4..4736641a63 100644
--- a/gnu/packages/build-tools.scm
+++ b/gnu/packages/build-tools.scm
@@ -994,7 +994,7 @@ (define (find-ucd-files . names)
       ;; Unicode data:
       ucd-next
       ;; Programs for the tests:
-      cppi indent git autoconf))
+      cppi indent git-minimal/pinned autoconf))
     (home-page "https://www.gnu.org/software/gnulib/")
     (synopsis "Source files to share among distributions")
     (description
-- 
2.39.2



[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: Josselin Poiret <dev <at> jpoiret.xyz>
Cc: 62311-done <at> debbugs.gnu.org
Subject: Re: bug#62311: [PATCH core-updates] gnulib: Depend on
 git-minimal/pinned.
Date: Tue, 21 Mar 2023 00:02:38 +0100
Josselin Poiret <dev <at> jpoiret.xyz> skribis:

> * gnu/packages/build-tools.scm (gnulib)[native-inputs]: Change git to
> git-minimal/pinned.

Pushed, thanks!  :-)

Ludo’.


This bug report was last modified 2 years and 120 days ago.

Previous Next


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