diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-03 04:04:07 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-03-03 05:06:47 +0100 |
commit | 58155312028c36daa25e60b610eae9529562eabd (patch) | |
tree | 54f52b5f182a120756544238c4b1ce34ee34c76c /gnu/packages/shells.scm | |
parent | efebdf3a66490b59dbafe9904701eb9b27bdaac4 (diff) | |
download | patches-58155312028c36daa25e60b610eae9529562eabd.tar patches-58155312028c36daa25e60b610eae9529562eabd.tar.gz |
gnu: oil-shell: Update to 0.7.0.
* gnu/packages/shells.scm (oil-shell): Update to 0.7.0.
Diffstat (limited to 'gnu/packages/shells.scm')
-rw-r--r-- | gnu/packages/shells.scm | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gnu/packages/shells.scm b/gnu/packages/shells.scm index 1300175dd4..d28f834bdb 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -3,7 +3,7 @@ ;;; Copyright © 2014, 2015 David Thompson <davet@gnu.org> ;;; Copyright © 2014 Kevin Lemonnier <lemonnierk@ulrar.net> ;;; Copyright © 2015 Jeff Mickey <j@codemac.net> -;;; Copyright © 2016, 2017, 2018, 2019 Tobias Geerinckx-Rice <me@tobias.gr> +;;; Copyright © 2016, 2017, 2018, 2019, 2020 Tobias Geerinckx-Rice <me@tobias.gr> ;;; Copyright © 2016 Stefan Reichör <stefan@xsteve.at> ;;; Copyright © 2017, 2018 Ricardo Wurmus <rekado@elephly.net> ;;; Copyright © 2017, 2018 ng0 <ng0@n0.is> @@ -751,14 +751,14 @@ Shell (pdksh).") (define-public oil-shell (package (name "oil-shell") - (version "0.6.0") + (version "0.7.0") (source (origin (method url-fetch) (uri (string-append "https://www.oilshell.org/download/oil-" version ".tar.xz")) (sha256 (base32 - "1dw4mgnlmaxlfygasfihgvbj32d3m9w6k5j7azb9d9lp35f3l7hl")))) + "12c9s462879adb6mwd3fqafk0dnqsm16s18rhym6cmzfzy8v8zm3")))) (build-system gnu-build-system) (arguments '(#:tests? #f ; the tests are not distributed in the tarballs |