diff options
author | tobim <tobim@fastmail.fm> | 2022-07-05 22:46:40 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-05 16:46:40 -0400 |
commit | 9f97d67c3a9093cbc0c2119ecacf043c766022a7 (patch) | |
tree | 7baed0e4ace2552b7255e1ef9c3052c69259550d /pkgs/shells/oil | |
parent | e57aadb5491b6f36803aca1854594d52d926f015 (diff) |
oil: 0.10.1 -> 0.11.0 (#179637)
Diffstat (limited to 'pkgs/shells/oil')
-rw-r--r-- | pkgs/shells/oil/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/shells/oil/default.nix b/pkgs/shells/oil/default.nix index ac7ea03084c15..d1a8c9650f1f3 100644 --- a/pkgs/shells/oil/default.nix +++ b/pkgs/shells/oil/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "oil"; - version = "0.10.1"; + version = "0.11.0"; src = fetchurl { url = "https://www.oilshell.org/download/oil-${version}.tar.xz"; - sha256 = "sha256-jI+QQ+jE3Qzd0b9VishVwBzDlFHCVKv8cZ0BsHnkd0Q="; + hash = "sha256-5eAK53aFLEEjPvwKMQIZloUjSFaAcU0tzsUAr2PQAgg="; }; postPatch = '' |