bug#58691: closed ([PATCH] gnu: oil: Update to 0.12.7.)

[GNU bug Tracking System]

Your message dated Wed, 26 Oct 2022 18:15:34 +0300
with message-id <Y1lPFmq7nU5LaUeP@3900XT>
and subject line Re: [bug#58691] [PATCH] gnu: oil: Update to 0.12.7.
has caused the debbugs.gnu.org bug report #58691,
regarding [PATCH] gnu: oil: Update to 0.12.7.
to be marked as done.

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


-- 
58691: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=58691
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH] gnu: oil: Update to 0.12.7.
>
>
>
>
> Date: 
>
> Fri, 21 Oct 2022 17:31:16 +0000
>
>
>
>
> * gnu/packages/shells.scm (oil): Update to 0.12.7.
> ---
>  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 9791a7dd97..cc34f0a0a0 100644
> --- a/gnu/packages/shells.scm
> +++ b/gnu/packages/shells.scm
> @@ -849,7 +849,7 @@ (define-public mksh
>  (define-public oil
>    (package
>      (name "oil")
> -    (version "0.12.4")
> +    (version "0.12.7")
>      (source
>       ;; oil's sources contain a modified version of CPython 2.7.13.
>       ;; According to https://www.oilshell.org/blog/2017/05/05.html
> @@ -862,7 +862,7 @@ (define-public oil
>         (uri (string-append "https://www.oilshell.org/download/oil-";
>                             version ".tar.gz"))
>         (sha256
> -        (base32 "1ck59fs2mkid4d9fss6kplvv0aiimsr9m3gv75ckivb376sd8pmc"))))
> +        (base32 "02p8w2rpwb8i4lwl2ah5whchn0lihc6hgbmnp0yr0jv4f0r3mgby"))))
>      (build-system gnu-build-system)
>      (arguments
>       (list #:strip-binaries? #f         ; strip breaks the binary
> -- 
> 2.35.1
>
>
>
>
> --- End Message ---

--- Begin Message --- Subject: Re: [bug#58691] [PATCH] gnu: oil: Update to 0.12.7. Date: Wed, 26 Oct 2022 18:15:34 +0300

Looks good. Patch pushed!

-- 
Efraim Flashner   <efraim@flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted

signature.asc
Description: PGP signature

--- End Message ---