Merge pull request #85677 from dywedir/oil

oil: 0.7.0 -> 0.8.pre4
This commit is contained in:
Linus Heckemann 2020-04-22 09:23:39 +02:00 committed by GitHub
commit 539fb74a5b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,12 +1,12 @@
{ stdenv, lib, fetchurl, fetchpatch, readline }:
{ stdenv, lib, fetchurl, readline }:
stdenv.mkDerivation rec {
pname = "oil";
version = "0.7.0";
version = "0.8.pre4";
src = fetchurl {
url = "https://www.oilshell.org/download/oil-${version}.tar.xz";
sha256 = "12c9s462879adb6mwd3fqafk0dnqsm16s18rhym6cmzfzy8v8zm3";
sha256 = "07kj86hrvlz9f1gh3qv4hdaz3qnb4a2qf0dnxhd2r0qilrkjanxh";
};
postPatch = ''