diff options
author | Andrew Valencik <andrew.valencik@gmail.com> | 2020-08-16 22:37:08 -0400 |
---|---|---|
committer | Andrew Valencik <andrew.valencik@gmail.com> | 2020-08-16 22:37:08 -0400 |
commit | 39cd8e3b91c4f5d43eeea1167a254947beddf0b1 (patch) | |
tree | 865493c5b6dd606976179e67ef9f921b634290c6 /pkgs/development/compilers/idris2 | |
parent | 725c15436910c1f1c52fa79aa2816453b1b9b6ed (diff) |
idris2: 0.2.0 -> 0.2.1
Diffstat (limited to 'pkgs/development/compilers/idris2')
-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 d2a071b61ddf..f0785aead848 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; |