From unknown Tue Jun 17 22:28:54 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 0/5] Update Agda to 2.7.0.1 along with libraries. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:09:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: report 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret X-Debbugs-Original-To: guix-patches@gnu.org Received: via spool by submit@debbugs.gnu.org id=B.172700333612463 (code B ref -1); Sun, 22 Sep 2024 11:09:01 +0000 Received: (at submit) by debbugs.gnu.org; 22 Sep 2024 11:08:56 +0000 Received: from localhost ([127.0.0.1]:40911 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKSW-0003Ew-D2 for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:08:56 -0400 Received: from lists.gnu.org ([209.51.188.17]:52004) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKST-0003El-W5 for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:08:54 -0400 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 ) id 1ssKPz-0004fW-LI for guix-patches@gnu.org; Sun, 22 Sep 2024 07:06:21 -0400 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 ) id 1ssKPx-0004v4-W4 for guix-patches@gnu.org; Sun, 22 Sep 2024 07:06:19 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 7ACE918546E; Sun, 22 Sep 2024 11:06:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003175; 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=QgsrU5Ms5zduRdqcIbQc9Z3ZiXrUmkp9KUdj08V2pwE=; b=rjqCb5Rg3Gzgs3VkUc8W0sCfWF+mJ4Yb46a/ii3hIVVdFRUU/GI0HtK4fZlKSJByqZhSlR VQ0xNq2teLwToQh9Mlh8lAxKyXv86m9yVeiz7hU4vAhdg4zA6dhpuozwZieKVA0XF9hlj6 efnLWWnur5cWl9vU4oV8BIycWIEDnpX7D9sfjz1/EJf28ge4hMdHLFdIy8F/GhO1LTYBJW TB/psFWi5Bg+y773+TDlaDf28cEyVvoiVxs979yoQJIVa3MPjaNOno+g/ms832xDibi6IK XeN2k7zvyuDG5e5zUQpdA2jtCo1WEBG+aCbJ1LxXkPiy4YOunDtq70N0dFOnTA== From: Josselin Poiret Date: Sun, 22 Sep 2024 13:06:14 +0200 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Level: **** X-Spamd-Bar: ++++ Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz Received-SPF: pass client-ip=206.189.101.64; envelope-from=dev@jpoiret.xyz; 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 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) This patch series updates Agda and libraries to the latest upstream versions. Josselin Poiret (5): gnu: agda: Update to 2.7.0.1. gnu: agda-stdlib: Update to 2.1.13 gnu: agda-categories: Update to 0.2.0. gnu: agda-cubical: Update to 0.7. gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. gnu/local.mk | 2 +- gnu/packages/agda.scm | 30 ++++++++++--------- .../agda-categories-use-newer-stdlib.patch | 21 +++++++++++++ .../agda-categories-use-stdlib-1.7.3.patch | 28 ----------------- 4 files changed, 38 insertions(+), 43 deletions(-) create mode 100644 gnu/packages/patches/agda-categories-use-newer-stdlib.patch delete mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch base-commit: b7c94d528875415ea7ec6225d88a6b3d55fa2e14 -- 2.46.0 From unknown Tue Jun 17 22:28:54 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 1/5] gnu: agda: Update to 2.7.0.1. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700386814448 (code B ref 73421); Sun, 22 Sep 2024 11:18:02 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:48 +0000 Received: from localhost ([127.0.0.1]:40919 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb6-0003ks-GI for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:48 -0400 Received: from jpoiret.xyz ([206.189.101.64]:52914) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb4-0003kj-W8 for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:47 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 2B0C218543C; Sun, 22 Sep 2024 11:17:22 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003843; 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: in-reply-to:in-reply-to:references:references; bh=qi90P0hkqstH0QmOU9JkUCGli7HWmhdtMinpts7lWs8=; b=UckZ9M9icO2NXoLw15OZMyU/+XnBPMilzgZgpomnFenRMoP4qES+zWBxbPZBotd2QDpxiQ SFpCE83vDwil0ktqsMp1wQz8b1TIOYiNu58R+4XcDnaSaWTR1SV7dkoPCQAlrbQp5CxLtR ohpCX5/9EGuuxo/GBDIw3NYJ+k+XDe+A7Na0tdiYMgmAzckHqYIVmve2CCg7OHkdJMpKox 1Tjl1/5FpRc6mrlrzTOfgocCu138JcG04qxaShYayji6z/uZDV7Li/tvE8P7cQhj91msqk xVtmNiRwe6IGyCn3u99XoRd9V014YQbefgVCV9QmnGDkYviDpB0aJ4bxu9M4cg== From: Josselin Poiret Date: Sun, 22 Sep 2024 13:17:16 +0200 Message-ID: <9a7675b251ec323f67110e8e47ef60c338503668.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Josselin Poiret * gnu/packages/agda.scm (agda): Update to 2.7.0.1. Change-Id: I757344e5ecbafc372b52ca517d196f0ac7f64837 --- gnu/packages/agda.scm | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 4afe583b2e..0e38d4e2d8 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.7.0.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 "1dh9fi8lwjv9rk6zik2bwjgqln0f0d36m3hm9m3zmmk4fby4rsi2")) (patches (search-patches "agda-libdirs-env-variable.patch" "agda-use-sphinx-5.patch")))) (build-system haskell-build-system) @@ -76,6 +76,7 @@ (define-public agda ghc-murmur-hash ghc-parallel ghc-peano + ghc-pqueue ghc-regex-tdfa ghc-split ghc-strict -- 2.46.0 From unknown Tue Jun 17 22:28:54 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 2/5] gnu: agda-stdlib: Update to 2.1.13 Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700387314473 (code B ref 73421); Sun, 22 Sep 2024 11:18:02 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:53 +0000 Received: from localhost ([127.0.0.1]:40925 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbA-0003lL-Sb for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:53 -0400 Received: from jpoiret.xyz ([206.189.101.64]:52986) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb6-0003kr-59 for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:48 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id C9376185470; Sun, 22 Sep 2024 11:17:25 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003846; 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: in-reply-to:in-reply-to:references:references; bh=n7fQ/TBWkOOLQjewQtGLMCQpqyH85Pf55U9IMyYJ+TI=; b=JI/l4X6O89Blma4XwyKDVQ7v2BwuPO6SAHRkuPA1h0qMhnNQ+yYp695YsjviLL7mKMEStI VNEI5oqctzvBV2k/DvEiIRyeKoKkf5PhDNUaEimVKdZLHL1gsO6vP0rFM8igpVP47f+Ljn gEZy5f1zFgKYXwdFg7i+lkh5hjS4FgIX2tVGgE2IfqswisHcUoCU8efkbPx4lNYrmyACAj KrmOzcoGQlxZAmDBTYPjg/4iYSxiWb9uZi9fuyoGsnbddTUY/yha1v5cnOdfIpcdhyTaOB KoLBpSoSJLClCPbZ2yQxQKdiHEPou95RMN7x8zA6y32FCmuNPl6Y5zoMBbA2IQ== From: Josselin Poiret Date: Sun, 22 Sep 2024 13:17:17 +0200 Message-ID: <2037d8162f04a0e4acbaad79909c6cf81170b166.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Josselin Poiret * gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1. Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf --- gnu/packages/agda.scm | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 0e38d4e2d8..8df3354243 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -200,7 +200,7 @@ (define-public agda-ial (define-public agda-stdlib (package (name "agda-stdlib") - (version "1.7.3") + (version "2.1.1") (source (origin (method git-fetch) (uri (git-reference @@ -209,11 +209,11 @@ (define-public agda-stdlib (file-name (git-file-name name version)) (sha256 (base32 - "0y6rns64rrkh8hw7mamcf6797329pi4ravpak5zijpnkzdagmlmy")))) + "1n742qvlxaj4dprnknvzrr876af6yjfwa4ps1dr4v1h814sg0xz0")))) (build-system agda-build-system) (arguments (list - #:plan '(("^\\./README.agda$" "-i.")) + #:plan '(("^\\./doc/README.agda$" "-idoc/")) #:gnu-and-haskell? #t #:phases #~(modify-phases %standard-phases @@ -221,7 +221,8 @@ (define-public agda-stdlib (lambda* (#:key inputs native-inputs #:allow-other-keys) (invoke (search-input-file (or native-inputs inputs) "/bin/runhaskell") - "GenerateEverything.hs")))))) + "GenerateEverything.hs" + "--out-dir" "doc/")))))) (native-inputs (list ghc-filemanip)) (synopsis "The Agda Standard Library") (description -- 2.46.0 From unknown Tue Jun 17 22:28:54 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 3/5] gnu: agda-categories: Update to 0.2.0. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700387414486 (code B ref 73421); Sun, 22 Sep 2024 11:18:03 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:54 +0000 Received: from localhost ([127.0.0.1]:40929 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbB-0003lN-8q for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:53 -0400 Received: from jpoiret.xyz ([206.189.101.64]:53054) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb7-0003l5-Tn for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:50 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 709E318543C; Sun, 22 Sep 2024 11:17:27 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003847; 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: in-reply-to:in-reply-to:references:references; bh=tXbA/ezzZV48qVXBwYuXglGS1X0VaI7SQ9iZ3rBxcTw=; b=Ak5/opomsuvdCygaxrJH510yxARR7NQ05FIYlyOgtxf0H5Wj0vT/ydwBWoDUhpy+Up3z9D kr2lmCVJoyjK21j4EvlGSBvunL/LIzVivMC3578Y89kqJ15W+zt5OgaTPWfrZMRPqi1s38 ZqZWDlUdxYqCRwmDTrGH2MmTkjO6bbq8Lp4xBhlz5VqjPyhh/4GqU94NHXLN0Mq6BXU9yZ V8tmPoVdRwfYCD7oIcdpnzDW9CeTSaHEkQIs1q+i6PY3hvNexQbRqShZArpWNnrCkHV41E tPsQYKc1BE9ETNys/uwwQR/DuGla3OXBPepYfJWG0bKIZem/qbX4ArMpne63Mw== From: Josselin Poiret Date: Sun, 22 Sep 2024 13:17:18 +0200 Message-ID: In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Josselin Poiret * gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch -> gnu/packages/patches/agda-categories-use-newer-stdlib.patch: Adapt patch. * gnu/local.mk (dist_patch_DATA): Change registered name to new name. * gnu/packages/agda.scm (agda-categories): Update to 0.2.0. Use new patch name. Change-Id: Id5d1e335fe22c2d5809116083ed72e7b9208d69e --- gnu/local.mk | 2 +- gnu/packages/agda.scm | 6 ++-- .../agda-categories-use-newer-stdlib.patch | 21 ++++++++++++++ .../agda-categories-use-stdlib-1.7.3.patch | 28 ------------------- 4 files changed, 25 insertions(+), 32 deletions(-) create mode 100644 gnu/packages/patches/agda-categories-use-newer-stdlib.patch delete mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch diff --git a/gnu/local.mk b/gnu/local.mk index 8e7abc8a47..7d36746b88 100644 --- a/gnu/local.mk +++ b/gnu/local.mk @@ -939,7 +939,7 @@ dist_patch_DATA = \ %D%/packages/patches/aegisub-make43.patch \ %D%/packages/patches/agda-categories-remove-incompatible-flags.patch \ %D%/packages/patches/agda-categories-use-find.patch \ - %D%/packages/patches/agda-categories-use-stdlib-1.7.3.patch \ + %D%/packages/patches/agda-categories-use-newer-stdlib.patch \ %D%/packages/patches/agda-libdirs-env-variable.patch \ %D%/packages/patches/agda-use-sphinx-5.patch \ %D%/packages/patches/agda-stdlib-use-runhaskell.patch \ diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index 8df3354243..d6a24c8be3 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -237,7 +237,7 @@ (define-public agda-stdlib (define-public agda-categories (package (name "agda-categories") - (version "0.1.7.2") + (version "0.2.0") (source (origin (method git-fetch) (uri (git-reference @@ -246,10 +246,10 @@ (define-public agda-categories (file-name (git-file-name name version)) (sha256 (base32 - "0xwgm2mfl2pxipsv31bin8p14y1yhd9n27lv3clvsxd4z9yc034m")) + "0a9mz9zyifkm03ss00iixa7b844m3gyvsx92al410hqj6v3r02qr")) (patches (search-patches "agda-categories-remove-incompatible-flags.patch" "agda-categories-use-find.patch" - "agda-categories-use-stdlib-1.7.3.patch")))) + "agda-categories-use-newer-stdlib.patch")))) (build-system agda-build-system) (arguments (list diff --git a/gnu/packages/patches/agda-categories-use-newer-stdlib.patch b/gnu/packages/patches/agda-categories-use-newer-stdlib.patch new file mode 100644 index 0000000000..00917853ba --- /dev/null +++ b/gnu/packages/patches/agda-categories-use-newer-stdlib.patch @@ -0,0 +1,21 @@ +Use newer stdlib. + +From: Josselin Poiret + +--- + agda-categories.agda-lib | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib +index 5b19c405..4d63d415 100644 +--- a/agda-categories.agda-lib ++++ b/agda-categories.agda-lib +@@ -1,4 +1,4 @@ + name: agda-categories +-depend: standard-library-2.0 ++depend: standard-library + include: src/ + +-- +2.41.0 + diff --git a/gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch b/gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch deleted file mode 100644 index 32680b99d7..0000000000 --- a/gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch +++ /dev/null @@ -1,28 +0,0 @@ -From 76d3863a5e6e7b9ee948f10a3faec3420a2020f1 Mon Sep 17 00:00:00 2001 -Message-ID: <76d3863a5e6e7b9ee948f10a3faec3420a2020f1.1698265016.git.dev@jpoiret.xyz> -From: Josselin Poiret -Date: Wed, 25 Oct 2023 22:15:43 +0200 -Subject: [PATCH] Bump stdlib to 1.7.3 - -From: Josselin Poiret - ---- - agda-categories.agda-lib | 2 +- - 1 file changed, 1 insertion(+), 1 deletion(-) - -diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib -index 5b19c405..4d63d415 100644 ---- a/agda-categories.agda-lib -+++ b/agda-categories.agda-lib -@@ -1,3 +1,3 @@ - name: agda-categories --depend: standard-library-1.7.2 -+depend: standard-library-1.7.3 - include: src/ - -base-commit: 9d61106740147a67fa2cae0a89ac066897b24a51 -prerequisite-patch-id: 508dabd923ba9ac1ee4d8dab6697432b4bd8ba18 -prerequisite-patch-id: b5f39b4fc9e4c9993ab31300de041ed2c7eb696b --- -2.41.0 - -- 2.46.0 From unknown Tue Jun 17 22:28:54 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 4/5] gnu: agda-cubical: Update to 0.7. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:03 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700387414493 (code B ref 73421); Sun, 22 Sep 2024 11:18:03 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:17:54 +0000 Received: from localhost ([127.0.0.1]:40931 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbC-0003lb-0F for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:54 -0400 Received: from jpoiret.xyz ([206.189.101.64]:53120) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKb9-0003lD-IW for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:51 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 121BE185470; Sun, 22 Sep 2024 11:17:28 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003849; 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: in-reply-to:in-reply-to:references:references; bh=S5Ad9U8LO12QueQN74WETDNfosboIv4fAAeANoHbaHM=; b=ndSKrZbCCsRKwAoQWCQLvhMlIvLtHYLqtJQsqR3AWduutQcbFUbu1ErCmaTcr4UchQSpFP BHdGQqLvw/yiqluojXyFvZzPwwsBVmgmgc23uJUbSEjlxzEEypo2mdu5p3JzG3tzuIJih3 jWkhpw+KkrpeAba2zNzO9dM4IVYNLtVIqHRVi1KlNte5nmYxyJwbgD94QyESkAOV10/IqC uDBmTFiOvwsilVqPvO4KQpXJkNd8Dacn8EzNKQxkHKR25bn5zVXDb/bqz0VTAESR1m4DoY PFtwFk5bF5EvNr+jk7hsZ+m8PNApGEwgbSel7UCFTVNt9o3ZQp++T7hg9xOLXA== From: Josselin Poiret Date: Sun, 22 Sep 2024 13:17:19 +0200 Message-ID: <3108a4eb351d5f06314ec9426c26a8e1be587979.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Josselin Poiret * gnu/packages/agda.scm (agda-cubical): Update to 0.7. Change-Id: I7a0b3e711974c4d93eea6a753054803acc7e5c30 --- 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 d6a24c8be3..f388b4d669 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -269,7 +269,7 @@ (define-public agda-categories (define-public agda-cubical (package (name "agda-cubical") - (version "0.6") + (version "0.7") (source (origin (method git-fetch) (uri (git-reference @@ -278,7 +278,7 @@ (define-public agda-cubical (file-name (git-file-name name version)) (sha256 (base32 - "0zq0z328zcjmm43mrv2ks27i1dnbylcf8mhzja2hd4gvz1kq1ays")))) + "1c6axx3xx9ga7pl5294xqwklgbw96irxj0n74a1bxafhcx2lmfm0")))) (build-system agda-build-system) (arguments (list -- 2.46.0 From unknown Tue Jun 17 22:28:54 2025 X-Loop: help-debbugs@gnu.org Subject: [bug#73421] [PATCH 5/5] gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Resent-From: Josselin Poiret Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Sun, 22 Sep 2024 11:18:04 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 73421 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: 73421@debbugs.gnu.org Cc: Josselin Poiret Received: via spool by 73421-submit@debbugs.gnu.org id=B73421.172700388214513 (code B ref 73421); Sun, 22 Sep 2024 11:18:04 +0000 Received: (at 73421) by debbugs.gnu.org; 22 Sep 2024 11:18:02 +0000 Received: from localhost ([127.0.0.1]:40933 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbJ-0003lx-Iq for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:18:02 -0400 Received: from jpoiret.xyz ([206.189.101.64]:53190) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKbB-0003lK-3u for 73421@debbugs.gnu.org; Sun, 22 Sep 2024 07:17:53 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id BB9B918543C; Sun, 22 Sep 2024 11:17:30 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003851; 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: in-reply-to:in-reply-to:references:references; bh=rEUiRlKEKieLhyje2Tao3Od4EMNNCVlNMm8Q1pU8QSU=; b=rJn2d+Azga1x6c4wOpffTQ7bNsC/+H+ndly5Dya/uYO07qPgqsbu5pSyxM61vk+1NvAOil BxXylwOi2DS8QZYt87KZtKGN3ML0ugT1xTGONC9CYHAW6jRO+4RCKNWdJz8Gba5wpzv8ki lZx3q8FcSiJoYFRKQlmZNZ/FE0PHPYhFp5L2s8szL/ua3f6KMEJPl/Q9CIo8QsHl8+Mkjs Oiqa3HoIR658DpSn1zlSMrQ12vHpdqskxVIwf0BgY+OjUJ+sV/lsAiIotNluOwPSVFCH6f /Wdnt6Ljn369mOB8ExlonBhpubGtZbg6GEtKkgmgDp2iLsXEoZBGprMjQ71rQQ== From: Josselin Poiret Date: Sun, 22 Sep 2024 13:17:20 +0200 Message-ID: <47dead9bcf96d5304de46be2dd4200260e6d712b.1727003093.git.dev@jpoiret.xyz> In-Reply-To: References: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) From: Josselin Poiret * gnu/packages/agda.scm (agda-1lab): Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. Change-Id: I0c0b5273c13152e079f9e62daffc5c051d62ca63 --- gnu/packages/agda.scm | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/gnu/packages/agda.scm b/gnu/packages/agda.scm index f388b4d669..c20549888d 100644 --- a/gnu/packages/agda.scm +++ b/gnu/packages/agda.scm @@ -297,8 +297,8 @@ (define-public agda-cubical (define-public agda-1lab ;; Upstream doesn't do releases (yet). Use a commit that builds with 2.6.4, ;; since they use Agda HEAD. - (let* ((revision "2") - (commit "549fdb1c948a975e90e70f871993a4a4239aa280")) + (let* ((revision "3") + (commit "afcf848d367f906d6d07d1612fbd41d7dd8c978e")) (package (name "agda-1lab") (version (git-version "0.0" revision commit)) @@ -311,7 +311,7 @@ (define-public agda-1lab (file-name (git-file-name name version)) (sha256 (base32 - "1k4zj8dibyplakpxaw4a8hpsaqhakynjb83dqxrva4h4ssj6gkqj")))) + "12ax3n9111dkzm7nm3kwnvgslzsybyh740vml7l089in89f979wn")))) (build-system agda-build-system) (arguments ;; Check files individually first, to avoid running out of heap :( -- 2.46.0 From unknown Tue Jun 17 22:28:54 2025 MIME-Version: 1.0 X-Mailer: MIME-tools 5.505 (Entity 5.505) X-Loop: help-debbugs@gnu.org From: help-debbugs@gnu.org (GNU bug Tracking System) To: Josselin Poiret Subject: bug#73421: closed (Re: [PATCH 0/5] Update Agda to 2.7.0.1 along with libraries.) Message-ID: References: <87h69hhcfl.fsf@jpoiret.xyz> X-Gnu-PR-Message: they-closed 73421 X-Gnu-PR-Package: guix-patches X-Gnu-PR-Keywords: patch Reply-To: 73421@debbugs.gnu.org Date: Sat, 12 Oct 2024 09:57:02 +0000 Content-Type: multipart/mixed; boundary="----------=_1728727022-6498-1" This is a multi-part message in MIME format... ------------=_1728727022-6498-1 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset="utf-8" Your bug report #73421: [PATCH 0/5] Update Agda to 2.7.0.1 along with libraries. which was filed against the guix-patches package, has been closed. The explanation is attached below, along with your original report. If you require more details, please reply to 73421@debbugs.gnu.org. --=20 73421: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=3D73421 GNU Bug Tracking System Contact help-debbugs@gnu.org with problems ------------=_1728727022-6498-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at 73421-done) by debbugs.gnu.org; 12 Oct 2024 09:56:49 +0000 Received: from localhost ([127.0.0.1]:36370 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1szYrg-0001gL-H0 for submit@debbugs.gnu.org; Sat, 12 Oct 2024 05:56:48 -0400 Received: from jpoiret.xyz ([206.189.101.64]:51502) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1szYre-0001gD-JZ for 73421-done@debbugs.gnu.org; Sat, 12 Oct 2024 05:56:47 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 98F88185460 for <73421-done@debbugs.gnu.org>; Sat, 12 Oct 2024 09:56:31 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1728726991; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=ySwhhtcrX7AoWVEMzh/9n//96PrZAwsi15XCX+4gUcY=; b=Ael4pSOe8vZzTziL7wNH7o+htjGGOkeYyhzTjkxwTeCdyminVPsYNFWrKDfiXuEUtRVwBb tMOQACCDzUVC0VU2jcGlNmAxW77vhHiDf7GG7/pU8fdtk0c4dIGMQUcZGt8ROFUlM0CmJi XS+BJySj5eUP7CoPpdTdM8MKMDjomC7iShNvvvkbt8sjjD9/dhXC6osW8a/Yo6aBVgKr5P LRHxu3DYo45gecmRVcBB1PbiiEBytVoZoMwaThj2SZZovUpBn+M930/MVAq/O0a7n8t5r8 rfipVhvTHoUg2oH3UpGmyYYt7WT+pMXZkvgi3xh94icmUr1BoAp1eWNs1P7QQQ== From: Josselin Poiret To: 73421-done@debbugs.gnu.org Subject: Re: [PATCH 0/5] Update Agda to 2.7.0.1 along with libraries. In-Reply-To: References: Date: Sat, 12 Oct 2024 11:56:30 +0200 Message-ID: <87h69hhcfl.fsf@jpoiret.xyz> MIME-Version: 1.0 Content-Type: multipart/signed; boundary="=-=-="; micalg=pgp-sha256; protocol="application/pgp-signature" X-Spamd-Bar: / Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz X-Spam-Score: 0.0 (/) X-Debbugs-Envelope-To: 73421-done X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -1.0 (-) --=-=-= Content-Type: text/plain Content-Transfer-Encoding: quoted-printable Merged as bea5e1e2392a2557c8f01f6fdfffb936af891557. Josselin Poiret writes: > This patch series updates Agda and libraries to the latest upstream versi= ons. > > Josselin Poiret (5): > gnu: agda: Update to 2.7.0.1. > gnu: agda-stdlib: Update to 2.1.13 > gnu: agda-categories: Update to 0.2.0. > gnu: agda-cubical: Update to 0.7. > gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. > > gnu/local.mk | 2 +- > gnu/packages/agda.scm | 30 ++++++++++--------- > .../agda-categories-use-newer-stdlib.patch | 21 +++++++++++++ > .../agda-categories-use-stdlib-1.7.3.patch | 28 ----------------- > 4 files changed, 38 insertions(+), 43 deletions(-) > create mode 100644 gnu/packages/patches/agda-categories-use-newer-stdlib= .patch > delete mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3= .patch > > > base-commit: b7c94d528875415ea7ec6225d88a6b3d55fa2e14 > --=20 > 2.46.0 > =2D-=20 Josselin Poiret --=-=-= Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQHEBAEBCAAuFiEEOSSM2EHGPMM23K8vUF5AuRYXGooFAmcKR84QHGRldkBqcG9p cmV0Lnh5egAKCRBQXkC5Fhcaih6yDACOeGxPWGBkntZE91InBNcyH9phrwQFTvwz FxqPlftnarmKwPciDUKQmlBiCWtfIwUvBz/47zcTZ6PTP3nSkXthdA6iS8yqqzVf u+L4ksWauMwCVDBd5qOFOTyK/pnzLDHfHnh6kbzNuvoOZpzOCbBQaqoDf+eu/rDK IGH60jOBUE7I9tFNpR9HC4M4rznu2Gq7xmTBnun7fJ26XC9Ilbe25FPOlzC6nbcD YWWv1As3IFqvGzeku//usPNormx19rpppYJgKRrmgtAsNyCseDdJBqyOhoXVwA/7 P/Z8iiAjNSrvQuc2DtL3xay+/wLBiPITfQyw0drkLFEn/6XEXeImvt+/6f/sxrQA FZqUfy1kHcUCKiKRSvPKlXvCPCH+lMVZdlB1Vaye6SPr4t1qpEarUwuRVWZPETUU l+CJA24lbsh5JO+S66JiqrIggbgvzcic0HW38TbOHZQ34nm8eaLPEy9aMrWYF6KI blnDnWkEYvyb2eCzoilOf9+XbGzaG18= =lIoK -----END PGP SIGNATURE----- --=-=-=-- ------------=_1728727022-6498-1 Content-Type: message/rfc822 Content-Disposition: inline Content-Transfer-Encoding: 7bit Received: (at submit) by debbugs.gnu.org; 22 Sep 2024 11:08:56 +0000 Received: from localhost ([127.0.0.1]:40911 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKSW-0003Ew-D2 for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:08:56 -0400 Received: from lists.gnu.org ([209.51.188.17]:52004) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ssKST-0003El-W5 for submit@debbugs.gnu.org; Sun, 22 Sep 2024 07:08:54 -0400 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 ) id 1ssKPz-0004fW-LI for guix-patches@gnu.org; Sun, 22 Sep 2024 07:06:21 -0400 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 ) id 1ssKPx-0004v4-W4 for guix-patches@gnu.org; Sun, 22 Sep 2024 07:06:19 -0400 Received: from authenticated-user (jpoiret.xyz [206.189.101.64]) by jpoiret.xyz (Postfix) with ESMTPA id 7ACE918546E; Sun, 22 Sep 2024 11:06:15 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=jpoiret.xyz; s=dkim; t=1727003175; 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=QgsrU5Ms5zduRdqcIbQc9Z3ZiXrUmkp9KUdj08V2pwE=; b=rjqCb5Rg3Gzgs3VkUc8W0sCfWF+mJ4Yb46a/ii3hIVVdFRUU/GI0HtK4fZlKSJByqZhSlR VQ0xNq2teLwToQh9Mlh8lAxKyXv86m9yVeiz7hU4vAhdg4zA6dhpuozwZieKVA0XF9hlj6 efnLWWnur5cWl9vU4oV8BIycWIEDnpX7D9sfjz1/EJf28ge4hMdHLFdIy8F/GhO1LTYBJW TB/psFWi5Bg+y773+TDlaDf28cEyVvoiVxs979yoQJIVa3MPjaNOno+g/ms832xDibi6IK XeN2k7zvyuDG5e5zUQpdA2jtCo1WEBG+aCbJ1LxXkPiy4YOunDtq70N0dFOnTA== From: Josselin Poiret To: guix-patches@gnu.org Subject: [PATCH 0/5] Update Agda to 2.7.0.1 along with libraries. Date: Sun, 22 Sep 2024 13:06:14 +0200 Message-ID: MIME-Version: 1.0 Content-Transfer-Encoding: 8bit X-Spam-Level: **** X-Spamd-Bar: ++++ Authentication-Results: jpoiret.xyz; auth=pass smtp.auth=jpoiret@jpoiret.xyz smtp.mailfrom=dev@jpoiret.xyz Received-SPF: pass client-ip=206.189.101.64; envelope-from=dev@jpoiret.xyz; 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 autolearn=ham autolearn_force=no X-Spam_action: no action X-Spam-Score: -1.4 (-) X-Debbugs-Envelope-To: submit Cc: Josselin Poiret X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: debbugs-submit-bounces@debbugs.gnu.org Sender: "Debbugs-submit" X-Spam-Score: -2.4 (--) This patch series updates Agda and libraries to the latest upstream versions. Josselin Poiret (5): gnu: agda: Update to 2.7.0.1. gnu: agda-stdlib: Update to 2.1.13 gnu: agda-categories: Update to 0.2.0. gnu: agda-cubical: Update to 0.7. gnu: agda-1lab: Update to afcf848d367f906d6d07d1612fbd41d7dd8c978e. gnu/local.mk | 2 +- gnu/packages/agda.scm | 30 ++++++++++--------- .../agda-categories-use-newer-stdlib.patch | 21 +++++++++++++ .../agda-categories-use-stdlib-1.7.3.patch | 28 ----------------- 4 files changed, 38 insertions(+), 43 deletions(-) create mode 100644 gnu/packages/patches/agda-categories-use-newer-stdlib.patch delete mode 100644 gnu/packages/patches/agda-categories-use-stdlib-1.7.3.patch base-commit: b7c94d528875415ea7ec6225d88a6b3d55fa2e14 -- 2.46.0 ------------=_1728727022-6498-1--