diff options
| author | Erlend Hamberg <erlend@hamberg.no> | 2022-10-28 16:27:38 +0200 |
|---|---|---|
| committer | Erlend Hamberg <erlend@hamberg.no> | 2022-10-28 16:27:38 +0200 |
| commit | 4f4a4eae8c73e3686449e63a48b89912473adccf (patch) | |
| tree | 559fd30e0bc108cad84e86e532e59cde50b9b375 /pkgs/development/compilers/idris2 | |
| parent | 38164d1660dcc24b41a5a22f1e9ef075a8e26714 (diff) | |
idris2: 0.5.1 -> 0.6.0
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 bb7d7a7a131c..7f413877a593 100644 --- a/pkgs/development/compilers/idris2/default.nix +++ b/pkgs/development/compilers/idris2/default.nix @@ -23,13 +23,13 @@ let # Uses scheme to bootstrap the build of idris2 in stdenv.mkDerivation rec { pname = "idris2"; - version = "0.5.1"; + version = "0.6.0"; src = fetchFromGitHub { owner = "idris-lang"; repo = "Idris2"; rev = "v${version}"; - sha256 = "sha256-6CTn8o5geWSesXO7vTrrV/2EOQ3f+nPQ2M5cem13ZSY="; + sha256 = "sha256-80MAGM1IEtI09h5aCYfDL4PRrjGq2gT8OUEibOVk8H4="; }; strictDeps = true; |