From 992511a55137137761b5cb5fdadab61987ca67ed Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 6 Mar 2023 12:33:08 +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 64f5cc6..8492ad1 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
-   '("2e9c7fb8b587ea2734f0c62c64aa975c4cf95489"
-     "0hndqlx4pl7wgsbqlr9lqi7m8kl3zypr1s9m9wkmh448sd1spm8w")
+   '("2f47ce032a43d02dd532bb69b72336ff2d0a75c8"
+     "0081bd9mb0ra1qwmjknbvxk1acnyfp7p62akvqj0y7v6swljdq56")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "154-g20ecc0256"
+   #:idris-version-tag "167-g2f47ce032"
    #:with-bootstrap-shortcut? #false
    #:ignore-test-failures? #true
    #:unwrap 2))
-- 
cgit v1.2.3