bug#44876: closed ([PATCH] gnu: oil: Update to 0.8.5.)

[GNU bug Tracking System]

Your message dated Wed, 25 Nov 2020 19:30:59 -0500
with message-id <20201126003059.GA13118@jasmine.lan>
and subject line Re: [bug#44876] [PATCH] gnu: oil: Update to 0.8.5.
has caused the debbugs.gnu.org bug report #44876,
regarding [PATCH] gnu: oil: Update to 0.8.5.
to be marked as done.

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


-- 
44876: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44876
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: oil: Update to 0.8.5.
>
>
>
>
> Date: 
>
> Wed, 25 Nov 2020 23:49:02 +0000
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.8.5.
> ---
>  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 a5f934854b..5b3ae21e0d 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -814,14 +814,14 @@ Shell (pdksh).")
>  (define-public oil
>    (package
>      (name "oil")
> -    (version "0.8.4")
> +    (version "0.8.5")
>      (source
>       (origin
>         (method url-fetch)
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "1gcpf5l6bdjw150ds3j2iws739khxylmz67fx7k1rjfpfij2004l"))))
> +        (base32 "02pw7x76jzfmk8fqs1k0pz7vwnkal458p93j4if0w0hg36xyx1j2"))))
>      (build-system gnu-build-system)
>      (arguments
>       `(#:strip-binaries? #f             ; strip breaks the binary
> -- 
> 2.29.2
>
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#44876] [PATCH] gnu: oil: Update to 0.8.5.
>
>
>
>
> Date: 
>
> Wed, 25 Nov 2020 19:30:59 -0500
>
>
>
>
> On Wed, Nov 25, 2020 at 11:49:02PM +0000, Ryan Prior via Guix-patches via wrote:
> > * gnu/packages/shells.scm (oil): Update to 0.8.5.
>
> Thanks! Pushed as 6a062ca176593fc877fc21cce85aac0988c36abd
>
>
> --- End Message ---