diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-10 14:49:26 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-07-10 14:49:26 +0100 |
| commit | bb77e7d39ff55cbb20d558618cb7369f3c8dbfd6 (patch) | |
| tree | 16fb268fdabb21907143af2de5e49ec40a7e9aa9 | |
| parent | 08fc6376484dca5847f9ba204a77084320b189e7 (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 2bdd098..475a765 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 - '("5dcf62499df5cb861d153372ef3b4386dba25c98" - "1wrp8j94n4hzyajb8afn8fbpd0av7jzrr6lrphf4zfv0vdjdbmrz") + '("6729fa8c89792c8d75b58daa86ad2e70c438120f" + "144i4ilyrgh83nva7d8bzscflczvg3ymx74jlwjlrafyj29b78hn") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "233-g5dcf62499" + #:idris-version-tag "241-g6729fa8c8" #:with-bootstrap-shortcut? #false #:ignore-test-failures? #true #:unwrap 2)) |