diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-08-09 11:32:23 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-08-09 11:32:23 +0100 |
| commit | 96743e098ff8bbbd258e9996c923ed42eed5e099 (patch) | |
| tree | 142dd7b4de34af336c53019d965fb270603828c1 | |
| parent | 6a18007fc9e0016816ccf0bf655214c120159bfb (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 1f12430..2fe1b95 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 - '("23694c7e5af11c263d4dba7f40c550d9bc37509c" - "001gh911ldadw68ymgy87xc4zzqp7l573cf35w7n5lfv4fsggwxh") + '("badf1e98c8812e8b54258754cf47782f61d8fb15" + "0z2bh0wrq2rq9qidv6kpyz2gw91rgkdrihdk4wbbrsqpsmz8j642") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "251-g23694c7e5" + #:idris-version-tag "265-gbadf1e98c" #:with-bootstrap-shortcut? #false #:ignore-test-failures? #true #:unwrap 2)) |