Subject: bug#73354: closed (Re: [bug#73354] [PATCH] gnu: opensbi: Update to 1.5.1.)

From: [email-masked] (GNU bug Tracking System)
Date: Thu, 19 Sep 2024 16:13:02 +0000

Your bug report

#73354: [PATCH] gnu: opensbi: Update to 1.5.1.

which was filed against the guix-patches package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
73354: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73354
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: [bug#73354] [PATCH] gnu: opensbi: Update to 1.5.1.
From: Vagrant Cascadian <[email-masked]>
To: Zheng Junjie <[email-masked]>, [email-masked]
Cc: Efraim Flashner <[email-masked]>
Date: Thu, 19 Sep 2024 09:11:12 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

On 2024-09-19, Zheng Junjie wrote:
> * gnu/packages/firmware.scm (make-opensbi-package): Update to 1.5.1.
>
> Change-Id: Ia70e7619d0b4064917b1595509bad543044830f2

Pushed as 22795da619f22a12a1823503535072104c175035.

> prerequisite-patch-id: a3168ad7aa6dcfc751b9e3b5bb515db5acbf28ac
> prerequisite-patch-id: d0d49144505c4858478511c2ef2f3b62ab24b2d0
> prerequisite-patch-id: d3f1f3c7149847618ab708519eaf486532aa8a4b
> prerequisite-patch-id: 02b90f764222a30d0bf32bc72624dc34c4db6bf1

I did not include the prerequite-patch-id references; I assume those are
other work-in-progress patches in your local branch ... ?

live well,
  vagrant

Subject: [PATCH] gnu: opensbi: Update to 1.5.1.
From: Zheng Junjie <[email-masked]>
To: [email-masked]
Date: Thu, 19 Sep 2024 17:56:29 +0800
List-Id: <debbugs-submit.debbugs.gnu.org>

* gnu/packages/firmware.scm (make-opensbi-package): Update to 1.5.1.

Change-Id: Ia70e7619d0b4064917b1595509bad543044830f2
---
 gnu/packages/firmware.scm | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/gnu/packages/firmware.scm b/gnu/packages/firmware.scm
index 7911cb3203..fe6c1822fa 100644
--- a/gnu/packages/firmware.scm
+++ b/gnu/packages/firmware.scm
@@ -10,7 +10,7 @@
 ;;; Copyright © 2021 Petr Hodina <[email-masked]>
 ;;; Copyright © 2022, 2023 Maxim Cournoyer <[email-masked]>
 ;;; Copyright © 2023 Foundation Devices, Inc. <[email-masked]>
-;;; Copyright © 2023 Zheng Junjie <[email-masked]>
+;;; Copyright © 2023, 2024 Zheng Junjie <[email-masked]>
 ;;;
 ;;; This file is part of GNU Guix.
 ;;;
@@ -508,7 +508,7 @@ (define-public openbios-qemu-ppc
 (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
   (package
     (name name)
-    (version "1.3.1")
+    (version "1.5.1")
     (source
      (origin
        (method git-fetch)
@@ -517,7 +517,7 @@ (define* (make-opensbi-package platform name #:optional (arch "riscv64"))
              (commit (string-append "v" version))))
        (file-name (git-file-name "opensbi" version))
        (sha256
-        (base32 "01pr7fyg3gcb5pj6d48w2an3m4mfjs9b398x31drqxwqcaz0zn94"))))
+        (base32 "0mfjb9jzrmc6chsr16bjrfann67qjxiigz8q42ndf9lrp6nyigd9"))))
     (build-system gnu-build-system)
     (native-inputs
      (append

base-commit: 610b395424c02274800d85585cb542ad66d9afea
prerequisite-patch-id: a3168ad7aa6dcfc751b9e3b5bb515db5acbf28ac
prerequisite-patch-id: d0d49144505c4858478511c2ef2f3b62ab24b2d0
prerequisite-patch-id: d3f1f3c7149847618ab708519eaf486532aa8a4b
prerequisite-patch-id: 02b90f764222a30d0bf32bc72624dc34c4db6bf1
-- 
2.45.2