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

oil: 0.12.0 -> 0.12.3
This commit is contained in:
Sebastián Mancilla 2022-08-14 21:55:26 -04:00 committed by GitHub
commit 5a8354f4a4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "oil";
version = "0.12.0";
version = "0.12.3";
src = fetchurl {
url = "https://www.oilshell.org/download/oil-${version}.tar.xz";
hash = "sha256-1zwGfM17SWWIvQ19cSbIfiLRaq+Ee1r94GPJWJEPoP8=";
hash = "sha256-M8gklc9crdVkQk9vzxO4tG809O0uHOPvvq1l1tzoPt8=";
};
postPatch = ''