From 05c7ebd116d695826bb07fe23532e7d1f6cd2969 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Thu, 22 Feb 2024 15:11:02 +0000
Subject: idris2-elab-util: new package

---
 yellowsquid/packages/idris.scm | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm
index 22b193f..0a481f9 100644
--- a/yellowsquid/packages/idris.scm
+++ b/yellowsquid/packages/idris.scm
@@ -321,3 +321,24 @@
     (description "")
     (license (license:non-copyleft "file://LICENSE"))
     (home-page "https://github.com/ohad/collie.git")))
+
+(define-public idris2-elab-util
+  (package
+    (name "idris2-elab-util")
+    (home-page "https://github.com/stefan-hoeck/idris2-elab-util")
+    (version "0.6.0")
+    (source
+     (let ((commit "2fc2d188640ce6822b5e250db73b62f5a952ca4d"))
+       (origin
+         (method git-fetch)
+         (uri (git-reference
+               (url home-page)
+               (commit commit)))
+         (file-name (git-file-name name commit))
+         (sha256
+          (base32 "0s956hm3njm7d3kccrppqxnk4az67scp57k8v4j27q3j3y2fp0q9")))))
+    (build-system idris2-build-system)
+    (arguments '(#:ipkg-name "elab-util"))
+    (synopsis "")
+    (description "")
+    (license license:bsd-2)))
-- 
cgit v1.2.3