diff options
| author | Chloe Brown <chloe.brown.00@outlook.com> | 2024-04-05 11:37:38 +0100 |
|---|---|---|
| committer | Chloe Brown <chloe.brown.00@outlook.com> | 2024-04-05 11:37:38 +0100 |
| commit | 7890a219432fdea4bc4f5391a9b03d0ce20700ce (patch) | |
| tree | 387e9d05df6491365a547c1af3beecc382b62cef | |
| parent | 05c7ebd116d695826bb07fe23532e7d1f6cd2969 (diff) | |
idris2-api: correct source hash.
| -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 0a481f9..3f5580f 100644 --- a/yellowsquid/packages/idris.scm +++ b/yellowsquid/packages/idris.scm @@ -287,7 +287,7 @@ (uri (git-reference (url "https://github.com/idris-lang/Idris2.git") (commit (string-append "v" version)))) - (sha256 (base32 "1b6yvarydyk2m1q82hg96f2rfywda42i4cw66jzbm71fvg84ya2k")))) + (sha256 (base32 "0qxfwsm2gxjxwzni85jb5b4snvjf77knqs9bnd2bqznrfxgxw2sp")))) (build-system idris2-build-system) (native-inputs (list gnu-make)) (arguments |