diff options
author | Vladyslav M <dywedir@gra.red> | 2019-12-10 21:56:46 +0200 |
---|---|---|
committer | Jon <jonringer@users.noreply.github.com> | 2019-12-10 19:28:47 -0800 |
commit | 8a5cfec1c20d9c9e7a247d626881c620977a1deb (patch) | |
tree | 6406bb8f748c1366c55973e5306e1ca7d73762b9 /pkgs/shells | |
parent | b7c217328edab94c4f28b415b0b83bedab3d1446 (diff) |
oil: 0.7.pre6 -> 0.7.pre9
Diffstat (limited to 'pkgs/shells')
-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 eeb6f9ab6a9c4..13b36bf54ad83 100644 --- a/pkgs/shells/oil/default.nix +++ b/pkgs/shells/oil/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "oil"; - version = "0.7.pre6"; + version = "0.7.pre9"; src = fetchurl { url = "https://www.oilshell.org/download/oil-${version}.tar.xz"; - sha256 = "1yhfrxrqd4jbjsf0g2fkxv8zypcndnikv9g15yp9szgp4sh1r9vv"; + sha256 = "1j17yxpjqv37vbl3qhnwl3gdmb33n9c6g6byxcc8mhbvbw91zi5i"; }; postPatch = '' |