diff options
author | Mathew Polzin <matt.polzin@gmail.com> | 2023-12-22 09:32:19 -0600 |
---|---|---|
committer | Mathew Polzin <matt.polzin@gmail.com> | 2023-12-22 10:02:10 -0600 |
commit | e09aaf7b5514c1432f86314170df452debe26cae (patch) | |
tree | b1bc4d75eea591f330685bfd143fd74b7e9d3684 /pkgs/development/compilers/idris2 | |
parent | a126cb7d59b5eb11af49c83edd6e080c044849d9 (diff) |
idris2: 0.6.0 -> 0.7.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 2760eb268c19..4bac5d33b1eb 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.6.0"; + version = "0.7.0"; src = fetchFromGitHub { owner = "idris-lang"; repo = "Idris2"; rev = "v${version}"; - sha256 = "sha256-80MAGM1IEtI09h5aCYfDL4PRrjGq2gT8OUEibOVk8H4="; + sha256 = "sha256-VwveX3fZfrxEsytpbOc5Tm6rySpLFhTt5132J6rmrmM="; }; strictDeps = true; |