From dd2e2a0c76a3042e17bda94115bded50eeeee94c Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Sat, 11 Feb 2023 16:04:03 +0000
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 98a3d65..dd3403a 100644
--- a/yellowsquid/packages/idris.scm
+++ b/yellowsquid/packages/idris.scm
@@ -197,11 +197,11 @@ Epigram and Agda.")
 
 (define-public idris2-git
   (make-idris-package
-   '("d82c5d633f04adcd73f4610985835d30f8a135c2"
-     "1yj509q1jay5cl5kc3awirpglrpf7hb3a8mfpwsv73h1icgp54yf")
+   '("2e9c7fb8b587ea2734f0c62c64aa975c4cf95489"
+     "0hndqlx4pl7wgsbqlr9lqi7m8kl3zypr1s9m9wkmh448sd1spm8w")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "5-d82c5d"
+   #:idris-version-tag "6-2e9c7f"
    #:with-bootstrap-shortcut? #false))
 
 (define-public idris-setoid
-- 
cgit v1.2.3