diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-05-13 16:06:29 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-05-13 16:06:29 +0100 |
| commit | 549d6db35cb25dfc0be5bdb6869d42186757ef88 (patch) | |
| tree | 0398a0b5432f9cef5397374e83bbf135119caa10 | |
| parent | 7976124ffcee6310c7cca2fc0ba2d3ba354d45bb (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 215c755..f75c584 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 - '("3ad391d597e86199639c43b2e53ab80a718be297" - "0rck5czkv7ayksvsarah32vwcbjfygq7hfj3jfgp4zq3ckwd2k29") + '("7221c99e9313cec6c17fd765232333e85839f61f" + "0m93y8yr9hymbf389rdj9m8l1b07jb6hr0hi80hnpzyx57j3d1qk") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "186-g3ad391d59" + #:idris-version-tag "202-g7221c99e9" #:with-bootstrap-shortcut? #false #:ignore-test-failures? #true #:unwrap 2)) |