diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 12:27:25 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-04-07 12:27:25 +0100 |
| commit | 1849e2021c177d8b61e766d739098ea94b7f1b0a (patch) | |
| tree | 96a2519aefa8de0ba98a0246a2a18da0a1a65e53 | |
| parent | 7535d5de1492362b9ef5f9ded0266cf2116b1133 (diff) | |
idris2-git: bump version.
| -rw-r--r-- | yellowsquid/packages/idris.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index 8492ad1..8c11561 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 - '("2f47ce032a43d02dd532bb69b72336ff2d0a75c8" - "0081bd9mb0ra1qwmjknbvxk1acnyfp7p62akvqj0y7v6swljdq56") + '("a75161cb2021136d4c87e65f25a1d4bc50a7279f" + "0agdb2j7pr11az4gidsnwgcyh443p13m3gsnhh8gzripldyran9b") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "167-g2f47ce032" + #:idris-version-tag "182-ga75161cb2" #:with-bootstrap-shortcut? #false #:ignore-test-failures? #true #:unwrap 2)) |