From 1d9b96c08f62d4237c1f074f688cc00f30fc49fe Mon Sep 17 00:00:00 2001 From: Leo Famulari Date: Thu, 16 Aug 2018 16:06:13 -0400 Subject: [PATCH] gnu: oil-shell: Update to 0.5.0. * gnu/packages/shells.scm (oil-shell): Update to 0.5.0. --- gnu/packages/shells.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm index bbf44e246c..6dbe1c4db7 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -649,14 +649,14 @@ Shell (pdksh).") (define-public oil-shell (package (name "oil-shell") - (version "0.4.0") + (version "0.5.0") (source (origin (method url-fetch) (uri (string-append "https://www.oilshell.org/download/oil-" version ".tar.xz")) (sha256 (base32 - "0ca68n46mhibarpfinqfkim6p3xmbz5rrpl4qr3sj9y0q6wm7sa2")))) + "03zc7rhhpl0cybng2i3c33pky1knsnyvn526bn91hg6w4znvn66w")))) (build-system gnu-build-system) (arguments '(#:tests? #f ; the tests are not distributed in the tarballs -- 2.20.1