bug#69388: closed ([PATCH] gnu: oil: Update to 0.20.0.)

[GNU bug Tracking System]

Your message dated Sat, 09 Mar 2024 11:41:20 +0800
with message-id <87v85w6pi7.fsf@envs.net>
and subject line Re: [bug#69388] [PATCH] gnu: oil: Update to 0.20.0.
has caused the debbugs.gnu.org bug report #69388,
regarding [PATCH] gnu: oil: Update to 0.20.0.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
69388: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=69388
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: oil: Update to 0.20.0.
>
>
>
>
> Date: 
>
> Sun, 25 Feb 2024 17:03:54 +0000
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.20.0.
>
> Change-Id: I052cd9a41feb81e0883f70554f1b99d240a1f920
> ---
>  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 be8fa8d7a7..5561b2a1b0 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -857,7 +857,7 @@ (define-public mksh
>  (define-public oil
>    (package
>      (name "oil")
> -    (version "0.17.0")
> +    (version "0.20.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
> @@ -870,7 +870,7 @@ (define-public oil
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "01b67dq56iam44d7c81ba9w62jjnjx2z7wm928rkc1ff6bacm37r"))))
> +        (base32 "1jpxhixwq29ik01jx372g9acib59wmww8lrdlcypq7jpg5b0b7pi"))))
>      (build-system gnu-build-system)
>      (arguments
>       (list #:strip-binaries? #f         ; strip breaks the binary
>
> base-commit: 386080366c642d887f9156059e4e894cd2d4e9b1
> -- 
> 2.43.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#69388] [PATCH] gnu: oil: Update to 0.20.0.
>
>
>
>
> Date: 
>
> Sat, 09 Mar 2024 11:41:20 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Felix Gruber <felgru@posteo.net> writes:
>
> > * gnu/packages/shells.scm (oil): Update to 0.20.0.
>
> Applied as commit 757dc108b8, thank you!
>
>
> --- End Message ---