Merge pull request #29632 from lheckemann/oil-update

oil: 0.0.0 -> 0.1.0
This commit is contained in:
Jörg Thalheim 2017-09-21 12:13:41 +01:00 committed by GitHub
commit 6bdabc7752

View file

@ -1,13 +1,13 @@
{ stdenv, lib, fetchurl, coreutils }: { stdenv, lib, fetchurl, coreutils }:
let let
version = "0.0.0"; version = "0.1.0";
in in
stdenv.mkDerivation { stdenv.mkDerivation {
name = "oil-${version}"; name = "oil-${version}";
src = fetchurl { src = fetchurl {
url = "https://www.oilshell.org/download/oil-${version}.tar.xz"; url = "https://www.oilshell.org/download/oil-${version}.tar.xz";
sha256 = "1mvyvvzw149piwa7xdl3byyn7h31p4cnrf3w9dxr5qfd9vc4gmsm"; sha256 = "0cf7jwwgvcq7q6zq8g5pi464hnn83b2km0nv6711qgqbxmsw85nx";
}; };
postPatch = '' postPatch = ''