From 1839967d7bda24b31d5b3f19416d1ae5d943f884 Mon Sep 17 00:00:00 2001
From: Chloe Brown <chloe.brown.00@outlook.com>
Date: Mon, 19 Dec 2022 01:22:02 +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 aebe1fe..0133fda 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
-   '("e673d05a67b82591131e35ccd50fc234fb9aed85"
-     "05vg1a64dl8xl9zsbyz93280kriifc23i6v50s4qwi7l9k546p1i")
+   '("0194539ef789b3d0a31db6b82a4d15db5d020470"
+     "04y91145zlsiqqqsafqnn8ngaa0yngd6w2m99ygjyqpgpcfrvvm5")
    "0.6.0"
    #:bootstrap-idris idris2-0.6.0
-   #:idris-version-tag "3-e673d0"
+   #:idris-version-tag "4-019453"
    #:with-bootstrap-shortcut? #false))
 
 (define-public idris-setoid
-- 
cgit v1.2.3