bug#71044: closed ([PATCH] oil: Update to 0.21.0.)

[GNU bug Tracking System]

Your message dated Sun, 23 Jun 2024 23:10:20 -0400
with message-id <87tthj3ujn.fsf@gmail.com>
and subject line Re: [bug#71044] [PATCH] oil: Update to 0.21.0.
has caused the debbugs.gnu.org bug report #71044,
regarding [PATCH] oil: Update to 0.21.0.
to be marked as done.

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


-- 
71044: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71044
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] oil: Update to 0.21.0.
>
>
>
>
> Date: 
>
> Sat, 18 May 2024 15:29:04 -0400
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.21.0.
>
> Change-Id: Ieb450e3bb778b64f99be5d4ef628628a75714d00
> ---
>  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 ae4e73956e..9cf22dcc36 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -861,7 +861,7 @@ (define-public mksh
>  (define-public oil
>    (package
>      (name "oil")
> -    (version "0.20.0")
> +    (version "0.21.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
> @@ -874,7 +874,7 @@ (define-public oil
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "1jpxhixwq29ik01jx372g9acib59wmww8lrdlcypq7jpg5b0b7pi"))))
> +        (base32 "12qmiqp6pk1n3j3mp7flp10r5fp6jnca1hn048kx0v51dmv5ydpl"))))
>      (build-system gnu-build-system)
>      (arguments
>       (list #:strip-binaries? #f         ; strip breaks the binary
>
> base-commit: e9b25a6c6c626a560d28a1f732e6e5d362d584a4
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#71044] [PATCH] oil: Update to 0.21.0.
>
>
>
>
> Date: 
>
> Sun, 23 Jun 2024 23:10:20 -0400
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Hi!
>
> David Pflug <david@pflug.io> writes:
>
> > * gnu/packages/shells.scm (oil): Update to 0.21.0.
> >
> > Change-Id: Ieb450e3bb778b64f99be5d4ef628628a75714d00
>
> Applied, thank you!
>
> -- 
> Maxim
>
>
> --- End Message ---