diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2019-06-13 18:25:30 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-06-17 12:36:13 +0200 |
| commit | f434664cc03b5217eacccab36698c8eeb1e7e10f (patch) | |
| tree | a8b9103904a6f1bcfee60b207665e616103ff3e0 /gnu/packages | |
| parent | 73eacca85ec68100e08ab21a3732cabbd77a2dbd (diff) | |
| download | patches-f434664cc03b5217eacccab36698c8eeb1e7e10f.tar patches-f434664cc03b5217eacccab36698c8eeb1e7e10f.tar.gz | |
gnu: oil-shell: Update to 0.6pre22.
It turns out the currently packaged release fails to build for me.
According to upstream, the 0.6 pre-releases are preferable to
currently packaged 0.5.
gnu/packages/shells.scm (oil-shell): Update to 0.6pre22.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/shells.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm index 49152dc3fd..f8c0fdf71f 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -749,14 +749,14 @@ Shell (pdksh).") (define-public oil-shell (package (name "oil-shell") - (version "0.5.0") + (version "0.6.pre22") (source (origin (method url-fetch) (uri (string-append "https://www.oilshell.org/download/oil-" version ".tar.xz")) (sha256 (base32 - "03zc7rhhpl0cybng2i3c33pky1knsnyvn526bn91hg6w4znvn66w")))) + "1kslycqa8rrzk9p2265dy045xd88q675w4baqiygcrnvxwn588c5")))) (build-system gnu-build-system) (arguments '(#:tests? #f ; the tests are not distributed in the tarballs |