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

oil: 0.15.0 -> 0.16.0
This commit is contained in:
Weijia Wang 2023-06-12 11:02:35 +03:00 committed by GitHub
commit 57d61c717c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,11 +7,11 @@ let
in
stdenv.mkDerivation rec {
pname = "oil";
version = "0.15.0";
version = "0.16.0";
src = fetchurl {
url = "https://www.oilshell.org/download/oil-${version}.tar.xz";
hash = "sha256-1oYP/sRhYG2oJYY80WOxqSXwqyUMbjIZdznBHcnGMxg=";
hash = "sha256-cRHIqFcdGm0dYgExvGfzd92P5iJO2+/ySeHV1o8d1WY=";
};
postPatch = ''