From 08fc6376484dca5847f9ba204a77084320b189e7 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Fri, 23 Jun 2023 10:55:41 +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 6641578..2bdd098 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
-   '("31c17ebec2e64c095076e8425637176db7658492"
-     "1xmiwjvrq463chdg30xh07hd2v3y5nypjr3yzkfz13296y6k530d")
+   '("5dcf62499df5cb861d153372ef3b4386dba25c98"
+     "1wrp8j94n4hzyajb8afn8fbpd0av7jzrr6lrphf4zfv0vdjdbmrz")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "218-g31c17ebec"
+   #:idris-version-tag "233-g5dcf62499"
    #:with-bootstrap-shortcut? #false
    #:ignore-test-failures? #true
    #:unwrap 2))
-- 
cgit v1.2.3