From a40e3d043a517a773941a5948cc70c121693deda Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 13 Feb 2023 15:56:59 +0000
Subject: idris2-git: bump version, making rev match git.

---
 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 88629b5..561e0b2 100644
--- a/yellowsquid/packages/idris.scm
+++ b/yellowsquid/packages/idris.scm
@@ -214,7 +214,7 @@ Epigram and Agda.")
      "0hndqlx4pl7wgsbqlr9lqi7m8kl3zypr1s9m9wkmh448sd1spm8w")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "6-2e9c7f"
+   #:idris-version-tag "145-gff822a74"
    #:with-bootstrap-shortcut? #false
    #:unwrap 2))
 
-- 
cgit v1.2.3