From 6176fcae15fbb9bbb7935da0f5d52b0e69353d04 Mon Sep 17 00:00:00 2001
From: Mark Walker <mark.damon.walker@gmail.com>
Date: Tue, 11 Nov 2025 19:21:47 +0800
Subject: [PATCH] gnu: agda-stdlib: Update to 2.3.

* gnu/packages/agda.scm (agda-stdlib): Update to 2.3.

Merges: https://codeberg.org/guix/guix/pulls/4190
Change-Id: I52636f7146e0c36f136f359cfe2b4fc8cd82d6dc
Signed-off-by: Sharlatan Hellseher <sharlatanus@gmail.com>
---
 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 ff23278469..fcb13531e1 100644
--- a/gnu/packages/agda.scm
+++ b/gnu/packages/agda.scm
@@ -197,7 +197,7 @@ come from Agda's standard library.")
 (define-public agda-stdlib
   (package
     (name "agda-stdlib")
-    (version "2.1.1")
+    (version "2.3")
     (source (origin
               (method git-fetch)
               (uri (git-reference
@@ -206,7 +206,7 @@ come from Agda's standard library.")
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "1n742qvlxaj4dprnknvzrr876af6yjfwa4ps1dr4v1h814sg0xz0"))))
+                "17w5vfn5pb2cgfs22zph3jfqnki52ja8y4zwyqj24zwf9rxairr4"))))
     (build-system agda-build-system)
     (arguments
      (list