diff options
author | Lassulus <github@lassul.us> | 2020-08-18 21:06:24 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-18 21:06:24 +0200 |
commit | feb9c28902eca0384484004e0b7dfe5ac8661d6c (patch) | |
tree | 76ca650af05ad4641d51ddc8084aed44b998622a | |
parent | c5676361590f1c87ae3e7ad3d460412e34437f9f (diff) | |
parent | 39cd8e3b91c4f5d43eeea1167a254947beddf0b1 (diff) |
Merge pull request #95640 from valencik/idris21
idris2: 0.2.0 -> 0.2.1
-rw-r--r-- | pkgs/development/compilers/idris2/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/idris2/default.nix b/pkgs/development/compilers/idris2/default.nix index d2a071b61ddf5..f0785aead8485 100644 --- a/pkgs/development/compilers/idris2/default.nix +++ b/pkgs/development/compilers/idris2/default.nix @@ -5,13 +5,13 @@ # Uses scheme to bootstrap the build of idris2 stdenv.mkDerivation rec { name = "idris2"; - version = "0.2.0"; + version = "0.2.1"; src = fetchFromGitHub { owner = "idris-lang"; repo = "Idris2"; rev = "v${version}"; - sha256 = "153z6zgb90kglw8rspk8ph5gh5nkplhi27mxai6yqbbjs2glx5d4"; + sha256 = "044slgl2pwvj939kz3z92n6l182plc5fzng1n4z4k6bg11msqq14"; }; strictDeps = true; |