GNU bug report logs - #63482
[PATCH] gnu: oil: Update to 0.15.0.

Previous Next

Package: guix-patches;

Reported by: Felix Gruber <felgru <at> posteo.net>

Date: Sat, 13 May 2023 08:32:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log


View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ludovic Courtès <ludo <at> gnu.org>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#63482: closed ([PATCH] gnu: oil: Update to 0.15.0.)
Date: Mon, 22 May 2023 14:59:02 +0000
[Message part 1 (text/plain, inline)]
Your message dated Mon, 22 May 2023 16:58:05 +0200
with message-id <87mt1wwgzm.fsf <at> gnu.org>
and subject line Re: bug#63482: [PATCH] gnu: oil: Update to 0.15.0.
has caused the debbugs.gnu.org bug report #63482,
regarding [PATCH] gnu: oil: Update to 0.15.0.
to be marked as done.

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


-- 
63482: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=63482
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems
[Message part 2 (message/rfc822, inline)]
From: Felix Gruber <felgru <at> posteo.net>
To: guix-patches <at> gnu.org
Cc: Felix Gruber <felgru <at> posteo.net>
Subject: [PATCH] gnu: oil: Update to 0.15.0.
Date: Sat, 13 May 2023 08:31:01 +0000
* gnu/packages/shells.scm (oil): Update to 0.15.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 969f01c492..3438facf17 100644
--- a/gnu/packages/shells.scm
+++ b/gnu/packages/shells.scm
@@ -851,7 +851,7 @@ (define-public mksh
 (define-public oil
   (package
     (name "oil")
-    (version "0.14.2")
+    (version "0.15.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
@@ -864,7 +864,7 @@ (define-public oil
        (uri (string-append "https://www.oilshell.org/download/oil-"
                            version ".tar.gz"))
        (sha256
-        (base32 "0qsfkav6a70nvp27ilab7zilmihw4ygga48a0dkxa14q9giwlgwr"))))
+        (base32 "1yy4523lbwkb0abnnvp4v08nv94isxb16wjryrp820idb90c1zfb"))))
     (build-system gnu-build-system)
     (arguments
      (list #:strip-binaries? #f         ; strip breaks the binary
-- 
2.39.2



[Message part 3 (message/rfc822, inline)]
From: Ludovic Courtès <ludo <at> gnu.org>
To: Felix Gruber <felgru <at> posteo.net>
Cc: 63482-done <at> debbugs.gnu.org
Subject: Re: bug#63482: [PATCH] gnu: oil: Update to 0.15.0.
Date: Mon, 22 May 2023 16:58:05 +0200
Felix Gruber <felgru <at> posteo.net> skribis:

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

Applied, thanks!


This bug report was last modified 2 years and 3 days ago.

Previous Next


GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.