diff options
author | Vladyslav M <dywedir@gra.red> | 2020-10-02 23:52:40 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-02 23:52:40 +0300 |
commit | eb3462f6fbd423d13148a597791ed24f8d17cfe3 (patch) | |
tree | b81fcb66657c5574ba61c83f60ea6d5cb842e278 /pkgs/shells | |
parent | ceba0ceee994bd0cccf7a8850da98ba9516f9a2b (diff) | |
parent | 961a99db3cf555c73e94d573560841d726af12e4 (diff) |
Merge pull request #99384 from grahamc/oil
oil: 0.8.pre6 -> 0.8.1
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 bce76b4cc8251..94fd062e45ca4 100644 --- a/pkgs/shells/oil/default.nix +++ b/pkgs/shells/oil/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { pname = "oil"; - version = "0.8.pre6"; + version = "0.8.1"; src = fetchurl { url = "https://www.oilshell.org/download/oil-${version}.tar.xz"; - sha256 = "1gbc74in78lbkciz7wzjplrm185wn6fz57n66xmazayivqmpvgfm"; + sha256 = "0mhzys1siry848v7swr1iv2wp329ksw0gpz1qd82fmlakml5brc1"; }; postPatch = '' |