diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-04 22:11:02 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-11-05 03:46:10 +0100 |
commit | edc517a04cd5423e9add03e263c00c3ee2fcd0c8 (patch) | |
tree | a1023ef401245bf61bce95e1aff0266f4d838e5a /gnu/packages/shells.scm | |
parent | c346951386cb747835a2593902fb08e8c8a6a9b7 (diff) |
gnu: oil: Update to 0.8.3.
* gnu/packages/shells.scm (oil): Update to 0.8.3.
Diffstat (limited to 'gnu/packages/shells.scm')
-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 9b8399d5e9..cd10dd3872 100644 --- a/gnu/packages/shells.scm +++ b/gnu/packages/shells.scm @@ -814,14 +814,14 @@ Shell (pdksh).") (define-public oil (package (name "oil") - (version "0.8.2") + (version "0.8.3") (source (origin (method url-fetch) (uri (string-append "https://www.oilshell.org/download/oil-" version ".tar.gz")) (sha256 - (base32 "1m49darrs38x60zqi3sy1mh4a47qvwcyf7djrkzqwzwxsczxybgr")))) + (base32 "14j0qjh92b16xxaj0f0k71y8wkbz6nmgx0yin2q7xrzqk8hzqgj6")))) (build-system gnu-build-system) (arguments `(#:strip-binaries? #f ; strip breaks the binary |