From 7890a219432fdea4bc4f5391a9b03d0ce20700ce Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 5 Apr 2024 11:37:38 +0100
Subject: idris2-api: correct source hash.

---
 yellowsquid/packages/idris.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm
index 0a481f9..3f5580f 100644
--- a/yellowsquid/packages/idris.scm
+++ b/yellowsquid/packages/idris.scm
@@ -287,7 +287,7 @@
        (uri (git-reference (url
                             "https://github.com/idris-lang/Idris2.git")
                            (commit (string-append "v" version))))
-       (sha256 (base32 "1b6yvarydyk2m1q82hg96f2rfywda42i4cw66jzbm71fvg84ya2k"))))
+       (sha256 (base32 "0qxfwsm2gxjxwzni85jb5b4snvjf77knqs9bnd2bqznrfxgxw2sp"))))
     (build-system idris2-build-system)
     (native-inputs (list gnu-make))
     (arguments
-- 
cgit v1.2.3