diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-12-22 15:21:06 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-12-22 15:21:06 +0000 |
| commit | b5679ccc8616a31814517477e95d967735a1fb97 (patch) | |
| tree | 9baa6cf21b88d16cd2207ad6dc6bbec2af100862 | |
| parent | 1839967d7bda24b31d5b3f19416d1ae5d943f884 (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 0133fda..98a3d65 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 - '("0194539ef789b3d0a31db6b82a4d15db5d020470" - "04y91145zlsiqqqsafqnn8ngaa0yngd6w2m99ygjyqpgpcfrvvm5") + '("d82c5d633f04adcd73f4610985835d30f8a135c2" + "1yj509q1jay5cl5kc3awirpglrpf7hb3a8mfpwsv73h1icgp54yf") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "4-019453" + #:idris-version-tag "5-d82c5d" #:with-bootstrap-shortcut? #false)) (define-public idris-setoid |