bug#56830: closed ([PATCH] gnu: oil: Update to 0.12.0.)

[GNU bug Tracking System]

Your message dated Fri, 29 Jul 2022 18:11:24 +0200
with message-id <87a68raofx@nckx>
and subject line Re: [bug#56830] [PATCH] gnu: oil: Update to 0.12.0.
has caused the debbugs.gnu.org bug report #56830,
regarding [PATCH] gnu: oil: Update to 0.12.0.
to be marked as done.

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


-- 
56830: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=56830
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: oil: Update to 0.12.0.
>
>
>
>
> Date: 
>
> Fri, 29 Jul 2022 15:23:36 +0000
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.12.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 a8a42f0544..1a5f8fca9f 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -848,7 +848,7 @@ Shell (pdksh).")
>  (define-public oil
>    (package
>      (name "oil")
> -    (version "0.9.9")
> +    (version "0.12.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
> @@ -861,7 +861,7 @@ Shell (pdksh).")
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "1ymszq0wy7sy709yqx8dpmv7b37fkc57bdg02ah2gnjbvbk6s2z1"))))
> +        (base32 "1sz5xb88773ass6ip5yxmnby9p6h0bz1d02n6n0cna3hdzqn7bpv"))))
>      (build-system gnu-build-system)
>      (arguments
>       (list #:strip-binaries? #f         ; strip breaks the binary
> -- 
> 2.30.2
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#56830] [PATCH] gnu: oil: Update to 0.12.0. Date: Fri, 29 Jul 2022 18:11:24 +0200

Hi Felix,

Felix Gruber 写道：

* gnu/packages/shells.scm (oil): Update to 0.12.0.

Perfect!  Pushed as 69eb84094516b56d7784aa1b8809cce0936e173e.

Thanks,

T G-R

signature.asc
Description: PGP signature

--- End Message ---