diff options
author | R. RyanTM <ryantm-bot@ryantm.com> | 2020-02-08 22:33:43 +0000 |
---|---|---|
committer | Frederik Rietdijk <freddyrietdijk@fridh.nl> | 2020-02-10 13:21:21 +0100 |
commit | f21e292e019d3d4b806f7c3eaaeaabe5505c2d0d (patch) | |
tree | c0304061e1962fa2dffedd91b36ec29601fdf55d /pkgs/shells | |
parent | 221274e1552fdb84e8caf0831dbd9140b111131e (diff) |
oil: 0.7.pre11 -> 0.7.0
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 81c8628439480..9e2aa3454d2ca 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.pre11"; + version = "0.7.0"; src = fetchurl { url = "https://www.oilshell.org/download/oil-${version}.tar.xz"; - sha256 = "0885cw07gkaggd5cvl58v6kw1z6la2xgdh1s88y0dynx95qv4i4c"; + sha256 = "12c9s462879adb6mwd3fqafk0dnqsm16s18rhym6cmzfzy8v8zm3"; }; postPatch = '' |