bug#47290: closed ([PATCH] gnu: oil: Update to 0.8.8.)

[GNU bug Tracking System]

Your message dated Sun, 21 Mar 2021 19:45:22 -0400
with message-id <YFfaklCRG20G/dSS@jasmine.lan>
and subject line Re: [bug#47290] [PATCH] gnu: oil: Update to 0.8.8.
has caused the debbugs.gnu.org bug report #47290,
regarding [PATCH] gnu: oil: Update to 0.8.8.
to be marked as done.

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


-- 
47290: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=47290
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: oil: Update to 0.8.8.
>
>
>
>
> Date: 
>
> Sun, 21 Mar 2021 10:10:03 +0100
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.8.8.
> ---
>  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 c348bfde94..62b7dc75fd 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -825,14 +825,14 @@ Shell (pdksh).")
>  (define-public oil
>    (package
>      (name "oil")
> -    (version "0.8.7")
> +    (version "0.8.8")
>      (source
>       (origin
>         (method url-fetch)
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "0yxd020jkwhhvq2l8hd9npp2vn6fvm11f0izfzwdl2npbnc976jr"))))
> +        (base32 "1g3xk160x9k5smfc9k8nnxcj7w1nacmnhnpmm72am9rjp1vpv9h1"))))
>      (build-system gnu-build-system)
>      (arguments
>       `(#:strip-binaries? #f             ; strip breaks the binary
> -- 
> 2.30.2
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#47290] [PATCH] gnu: oil: Update to 0.8.8.
>
>
>
>
> Date: 
>
> Sun, 21 Mar 2021 19:45:22 -0400
>
>
>
>
> On Sun, Mar 21, 2021 at 10:10:03AM +0100, Felix Gruber wrote:
> > * gnu/packages/shells.scm (oil): Update to 0.8.8.
>
> Thanks! Pushed as 17b408e6a219d64643717cfde16ce04eea0a4590
>
>
> --- End Message ---