GNU logs - #68047, boring messages

Message sent to guix-patches@HIDDEN:

Subject: [bug#68047] [PATCH] gnu: agda: Update to 2.6.4.1.
Resent-From: Josselin Poiret <dev@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Tue, 26 Dec 2023 17:58:03 +0000
Resent-Message-ID: <handler.68047.B.170361346726640 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: 68047 <at> debbugs.gnu.org
Cc: Josselin Poiret <dev@HIDDEN>
From: Josselin Poiret <dev@HIDDEN>
Date: Tue, 26 Dec 2023 17:27:25 +0100
Message-ID: <86622619bf897c4d8cd91901455c9966e17f4450.1703608045.git.dev@HIDDEN>
MIME-Version: 1.0
Content-Transfer-Encoding: 8bit
Received-SPF: pass client-ip=206.189.101.64; envelope-from=dev@HIDDEN;
 helo=jpoiret.xyz
X-Spam_score_int: -20
X-Spam_score: -2.1
X-Spam_bar: --
X-Spam_report: (-2.1 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1,
 DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, SPF_HELO_PASS=-0.001,
 SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no
X-Spam_action: no action
X-Spam-Score: 0.9 (/)
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)

From: Josselin Poiret <dev@HIDDEN>

* 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

Message sent:

Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
MIME-Version: 1.0
X-Mailer: MIME-tools 5.505 (Entity 5.505)
Content-Type: text/plain; charset=utf-8
X-Loop: help-debbugs@HIDDEN
From: help-debbugs@HIDDEN (GNU bug Tracking System)
To: Josselin Poiret <dev@HIDDEN>
Subject: bug#68047: Acknowledgement ([PATCH] gnu: agda: Update to 2.6.4.1.)
Message-ID: <handler.68047.B.170361346726640.ack <at> debbugs.gnu.org>
References: <86622619bf897c4d8cd91901455c9966e17f4450.1703608045.git.dev@HIDDEN>
X-Gnu-PR-Message: ack 68047
X-Gnu-PR-Package: guix-patches
X-Gnu-PR-Keywords: patch
Reply-To: 68047 <at> debbugs.gnu.org
Date: Tue, 26 Dec 2023 17:58:03 +0000

Thank you for filing a new bug report with debbugs.gnu.org.

This is an automatically generated reply to let you know your message
has been received.

Your message is being forwarded to the package maintainers and other
interested parties for their attention; they will reply in due course.

Your message has been sent to the package maintainer(s):
 guix-patches@HIDDEN

If you wish to submit further information on this problem, please
send it to 68047 <at> debbugs.gnu.org.

Please do not send mail to help-debbugs@HIDDEN unless you wish
to report a problem with the Bug-tracking system.

--=20
68047: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D68047
GNU Bug Tracking System
Contact help-debbugs@HIDDEN with problems

Message sent to guix-patches@HIDDEN:

Subject: [bug#68047] [PATCH] gnu: agda: Update to 2.6.4.1.
Resent-From: Mathieu Othacehe <othacehe@HIDDEN>
Original-Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
Resent-CC: guix-patches@HIDDEN
Resent-Date: Wed, 27 Dec 2023 20:40:02 +0000
Resent-Message-ID: <handler.68047.B68047.17037095983618 <at> debbugs.gnu.org>
Resent-Sender: help-debbugs@HIDDEN
To: Josselin Poiret <dev@HIDDEN>
Cc: 68047 <at> debbugs.gnu.org
From: Mathieu Othacehe <othacehe@HIDDEN>
In-Reply-To: <86622619bf897c4d8cd91901455c9966e17f4450.1703608045.git.dev@HIDDEN>
 (Josselin Poiret's message of "Tue, 26 Dec 2023 17:27:25 +0100")
References: <86622619bf897c4d8cd91901455c9966e17f4450.1703608045.git.dev@HIDDEN>
Date: Wed, 27 Dec 2023 21:39:27 +0100
Message-ID: <87il4j4by8.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13)
MIME-Version: 1.0
Content-Type: text/plain
Precedence: list
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>


> * 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

Last modified: Sat, 20 Jan 2024 12:30:02 UTC

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