GNU bug report logs - #68047
[PATCH] gnu: agda: Update to 2.6.4.1.

Previous Next

Package: guix-patches;

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

Date: Tue, 26 Dec 2023 17:58:03 UTC

Severity: normal

Tags: patch

Done: Steve George <steve <at> futurile.net>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 68047 in the body.
You can then email your comments to 68047 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to guix-patches <at> gnu.org:
bug#68047; Package guix-patches. (Tue, 26 Dec 2023 17:58:03 GMT) Full text and rfc822 format available.
Acknowledgement sent to Josselin Poiret <dev <at> jpoiret.xyz>:
New bug report received and forwarded. Copy sent to guix-patches <at> gnu.org. (Tue, 26 Dec 2023 17:58:03 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Josselin Poiret <dev <at> jpoiret.xyz>
To: guix-patches <at> gnu.org
Cc: Josselin Poiret <dev <at> jpoiret.xyz>
Subject: [PATCH] gnu: agda: Update to 2.6.4.1.
Date: Tue, 26 Dec 2023 17:27:25 +0100

From: Josselin Poiret <dev <at> jpoiret.xyz>

* gnu/packages/agda.scm (agda): Update to 2.6.4.1.

Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837
---
 gnu/packages/agda.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm
index c2ebf09e4a..4039d9c9ba 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -44,7 +44,7 @@ (define-module (gnu packages agda)
 (define-public agda
   (package
     (name "agda")
-    (version "2.6.4")
+    (version "2.6.4.1")
     (source
      (origin
        (method git-fetch)
@@ -53,7 +53,7 @@ (define-public agda
              (commit (string-append "v" version))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "0n4avd58j45rdcmnwgrmz5s0ril0z4n2z711mwwbahl50f7359ky"))
+        (base32 "00yfwwqv4dyka5yg4m9w5dfd9ajn5z51lg7dakj6d03lay76dhh7"))
        (patches (search-patches "agda-libdirs-env-variable.patch"
                                 "agda-use-sphinx-5.patch"))))
     (build-system haskell-build-system)

base-commit: 5bd80ccd69047b1777749e24d4adf2c951b5d14b
-- 
2.41.0
Information forwarded to guix-patches <at> gnu.org:
bug#68047; Package guix-patches. (Wed, 27 Dec 2023 20:40:02 GMT) Full text and rfc822 format available.

Message #8 received at 68047 <at> debbugs.gnu.org (full text, mbox):

From: Mathieu Othacehe <othacehe <at> gnu.org>
To: Josselin Poiret <dev <at> jpoiret.xyz>
Cc: 68047 <at> debbugs.gnu.org
Subject: Re: [bug#68047] [PATCH] gnu: agda: Update to 2.6.4.1.
Date: Wed, 27 Dec 2023 21:39:27 +0100

> * gnu/packages/agda.scm (agda): Update to 2.6.4.1.

Looks good! I think you can directly proceed for those trivial updates.

Thanks,

Mathieu
bug closed, send any further explanations to 68047 <at> debbugs.gnu.org and Josselin Poiret <dev <at> jpoiret.xyz> Request was from Steve George <steve <at> futurile.net> to control <at> debbugs.gnu.org. (Thu, 31 Oct 2024 15:37:01 GMT) Full text and rfc822 format available.
Message sent on to Josselin Poiret <dev <at> jpoiret.xyz>:
bug#68047. (Thu, 31 Oct 2024 15:37:02 GMT) Full text and rfc822 format available.

Message #13 received at 68047-submitter <at> debbugs.gnu.org (full text, mbox):

From: Steve George <steve <at> futurile.net>
To: control <at> debbugs.gnu.org
Cc: 68047-submitter <at> debbugs.gnu.org
Subject: closing 68047
Date: Thu, 31 Oct 2024 15:36:18 +0000

close 68047 
# went directory to 2.7.0.1 in 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb
thanks
bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 29 Nov 2024 12:24:17 GMT) Full text and rfc822 format available.
This bug report was last modified 101 days ago.

Previous Next

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