diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2022-12-19 01:22:02 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2022-12-19 01:22:02 +0000 |
| commit | 1839967d7bda24b31d5b3f19416d1ae5d943f884 (patch) | |
| tree | 3f90f3659f6c28d780cc9e0b9f4f4b490430e698 | |
| parent | 861e05a32b9e7f8a8d1750cbacf891b01a88c749 (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 aebe1fe..0133fda 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 - '("e673d05a67b82591131e35ccd50fc234fb9aed85" - "05vg1a64dl8xl9zsbyz93280kriifc23i6v50s4qwi7l9k546p1i") + '("0194539ef789b3d0a31db6b82a4d15db5d020470" + "04y91145zlsiqqqsafqnn8ngaa0yngd6w2m99ygjyqpgpcfrvvm5") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "3-e673d0" + #:idris-version-tag "4-019453" #:with-bootstrap-shortcut? #false)) (define-public idris-setoid |