From 8be47dab69cb2f651937ee2751968b5ad23e0064 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Wed, 19 Jul 2023 11:18:07 +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 475a765..1f12430 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
-   '("6729fa8c89792c8d75b58daa86ad2e70c438120f"
-     "144i4ilyrgh83nva7d8bzscflczvg3ymx74jlwjlrafyj29b78hn")
+   '("23694c7e5af11c263d4dba7f40c550d9bc37509c"
+     "001gh911ldadw68ymgy87xc4zzqp7l573cf35w7n5lfv4fsggwxh")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "241-g6729fa8c8"
+   #:idris-version-tag "251-g23694c7e5"
    #:with-bootstrap-shortcut? #false
    #:ignore-test-failures? #true
    #:unwrap 2))
-- 
cgit v1.2.3