From 549d6db35cb25dfc0be5bdb6869d42186757ef88 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 13 May 2023 16:06:29 +0100
Subject: idris2-git: bump version.

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

diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm
index 215c755..f75c584 100644
--- a/yellowsquid/packages/idris.scm
+++ b/yellowsquid/packages/idris.scm
@@ -212,11 +212,11 @@ Epigram and Agda.")
 
 (define-public idris2-git
   (make-idris-package
-   '("3ad391d597e86199639c43b2e53ab80a718be297"
-     "0rck5czkv7ayksvsarah32vwcbjfygq7hfj3jfgp4zq3ckwd2k29")
+   '("7221c99e9313cec6c17fd765232333e85839f61f"
+     "0m93y8yr9hymbf389rdj9m8l1b07jb6hr0hi80hnpzyx57j3d1qk")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "186-g3ad391d59"
+   #:idris-version-tag "202-g7221c99e9"
    #:with-bootstrap-shortcut? #false
    #:ignore-test-failures? #true
    #:unwrap 2))
-- 
cgit v1.2.3