--- Begin Message ---
Subject:
[PATCH] gnu: oil: Update to 0.17.0.
Date:
Thu, 3 Aug 2023 13:07:43 -0400
* gnu/packages/shells.scm (oil): Update to 0.17.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 aef22efd01..173eba6e6d 100644
--- a/gnu/packages/shells.scm
+++ b/gnu/packages/shells.scm
@@ -858,7 +858,7 @@ (define-public mksh
(define-public oil
(package
(name "oil")
- (version "0.15.0")
+ (version "0.17.0")
(source
;; oil's sources contain a modified version of CPython 2.7.13.
;; According to https://www.oilshell.org/blog/2017/05/05.html
@@ -871,7 +871,7 @@ (define-public oil
(uri (string-append "https://www.oilshell.org/download/oil-";
version ".tar.gz"))
(sha256
- (base32 "1yy4523lbwkb0abnnvp4v08nv94isxb16wjryrp820idb90c1zfb"))))
+ (base32 "01b67dq56iam44d7c81ba9w62jjnjx2z7wm928rkc1ff6bacm37r"))))
(build-system gnu-build-system)
(arguments
(list #:strip-binaries? #f ; strip breaks the binary
--
2.41.0
--- End Message ---