X-Loop: help-debbugs@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 X-GNU-PR-Message: report 68047 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 68047 <at> debbugs.gnu.org Cc: Josselin Poiret <dev@HIDDEN> X-Debbugs-Original-To: guix-patches@HIDDEN Received: via spool by submit <at> debbugs.gnu.org id=B.170361346726640 (code B ref -1); Tue, 26 Dec 2023 17:58:03 +0000 Received: (at submit) by debbugs.gnu.org; 26 Dec 2023 17:57:47 +0000 Received: from localhost ([127.0.0.1]:34959 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rIBgZ-0006vT-77 for submit <at> debbugs.gnu.org; Tue, 26 Dec 2023 12:57:47 -0500 Received: from lists.gnu.org ([2001:470:142::17]:53422) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <dev@HIDDEN>) id 1rIBgX-0006ur-Rv for submit <at> debbugs.gnu.org; Tue, 26 Dec 2023 12:57:46 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <dev@HIDDEN>) id 1rIAHS-0002wW-5S for guix-patches@HIDDEN; Tue, 26 Dec 2023 11:27:46 -0500 Received: from jpoiret.xyz ([206.189.101.64]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <dev@HIDDEN>) id 1rIAHQ-00022R-KU for guix-patches@HIDDEN; Tue, 26 Dec 2023 11:27:45 -0500 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 1F6B1184F64; Tue, 26 Dec 2023 16:27:39 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1703608060; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version: content-transfer-encoding:content-transfer-encoding; bh=YbgaDilmreXB4tXGdM+ZTv8vOUq3jQUib0Wtub2njGg=; b=qJvj53sn/ZiH27t8/28BHhGbqQJAQKg6L63KCzC8HmsRrkC3kyyNImENHtBqziMxYXcR9w gHZ3ynWNnp3c+zi1pCr+a34SDv8aOziLS4RbwL3PP8tPlMp3ETNYbIjK1rwJwh0exwMKGZ IPx3+ZDAJSciLYAd339SR91FoMre+IIBNYT4YarKLbULVm5itiAz9x21Z4wbgJB5mPKKui APaCLehM4E9knj9/ZZcicH/VBJvi83YzTGRp2Fi6LcWUDLiSwIcvA6DC1nYCYwFLjbYlJQ y19vva76/Vm7kQWiBfn5YKVWL8kmPUpmmrgELWfNcVmK65odMJNNMD1eJvb9Jw== 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 X-Spam-Level: **** X-Spamd-Bar: ++++ Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@HIDDEN smtp.mailfrom=dev@HIDDEN 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
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
X-Loop: help-debbugs@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 X-GNU-PR-Message: followup 68047 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: Josselin Poiret <dev@HIDDEN> Cc: 68047 <at> debbugs.gnu.org Received: via spool by 68047-submit <at> debbugs.gnu.org id=B68047.17037095983618 (code B ref 68047); Wed, 27 Dec 2023 20:40:02 +0000 Received: (at 68047) by debbugs.gnu.org; 27 Dec 2023 20:39:58 +0000 Received: from localhost ([127.0.0.1]:37841 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>) id 1rIah4-0000wI-Kd for submit <at> debbugs.gnu.org; Wed, 27 Dec 2023 15:39:58 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:52810) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from <othacehe@HIDDEN>) id 1rIah3-0000vz-48 for 68047 <at> debbugs.gnu.org; Wed, 27 Dec 2023 15:39:57 -0500 Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from <othacehe@HIDDEN>) id 1rIagx-0006RG-Oa; Wed, 27 Dec 2023 15:39:52 -0500 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-Version:Date:References:In-Reply-To:Subject:To: From; bh=9JOv7DBB6I2M0dJ2XzExuiu0ofcbUqQmm8is5szSank=; b=k87NI80kDvtvnZ+pqL/t 1qx3v9UywC0kWM11zqJ0Lv9DmX4EhnUQcrgzvDA0noZ2LLXf4wYAyWOgHYLCgkvCee66lqPxLB1lw sffO/3mj7lMSXXHMCn5No4z5OMmAbWpslxAQqUQ+ydCepZ45aBArZBPDi+7PUTmjD0CRKk8uTyomy j/Ycw/X+CZErG2zbTCcDyz+Vpt0X49HaKLD7W6e8ZUVbhfRgacubXbhYwzo0PIGWeErO/a0P9qv7X AhQvzSE3LNkgexuUJvRM2QoTmIGhJll5woQ55ZoFai4x0TcyZnjEoYwkNbxOokrYvSDYzOmVQGTg3 G2aHeUR3KvSOJw==; 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 X-Spam-Score: -2.3 (--) 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: -3.3 (---) > * 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
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997 nCipher Corporation Ltd,
1994-97 Ian Jackson.