diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-13 15:56:59 +0000 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2023-02-13 15:56:59 +0000 |
| commit | a40e3d043a517a773941a5948cc70c121693deda (patch) | |
| tree | 855428c415a936ba1efa1334c1f375a7f0ee2ed8 | |
| parent | 4733bd3a9c6c923461bb786d0015d38397f24bce (diff) | |
idris2-git: bump version, making rev match git.
| -rw-r--r-- | yellowsquid/packages/idris.scm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/yellowsquid/packages/idris.scm b/yellowsquid/packages/idris.scm index 88629b5..561e0b2 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -214,7 +214,7 @@ Epigram and Agda.") "0hndqlx4pl7wgsbqlr9lqi7m8kl3zypr1s9m9wkmh448sd1spm8w") "0.6.0" #:bootstrap-idris idris2-0.6.0 - #:idris-version-tag "6-2e9c7f" + #:idris-version-tag "145-gff822a74" #:with-bootstrap-shortcut? #false #:unwrap 2)) |