Merge pull request #64853 from r-ryantm/auto-update/oil

oil: 0.6.pre15 -> 0.6.0
This commit is contained in:
Linus Heckemann 2019-07-16 08:11:28 +02:00 committed by GitHub
commit 0ddb9e0495
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,13 +1,13 @@
{ stdenv, lib, fetchurl }:
let
version = "0.6.pre15";
version = "0.6.0";
in
stdenv.mkDerivation {
name = "oil-${version}";
src = fetchurl {
url = "https://www.oilshell.org/download/oil-${version}.tar.xz";
sha256 = "1azdmicv39rp30msl6fpw6921gi6ib8lxiyc8kanljqk5d7zg4p6";
sha256 = "1dw4mgnlmaxlfygasfihgvbj32d3m9w6k5j7azb9d9lp35f3l7hl";
};
postPatch = ''