emacs-bug-tracker
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#62937: closed ([PATCH] gnu: openmpi: Update to 4.1.5.)


From: GNU bug Tracking System
Subject: bug#62937: closed ([PATCH] gnu: openmpi: Update to 4.1.5.)
Date: Mon, 24 Apr 2023 10:27:02 +0000

Your message dated Mon, 24 Apr 2023 12:26:40 +0200
with message-id <87sfcp4lun.fsf@gnu.org>
and subject line Re: bug#62937: [PATCH] gnu: openmpi: Update to 4.1.5.
has caused the debbugs.gnu.org bug report #62937,
regarding [PATCH] gnu: openmpi: Update to 4.1.5.
to be marked as done.

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


-- 
62937: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=62937
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
--- Begin Message --- Subject: [PATCH] gnu: openmpi: Update to 4.1.5. Date: Tue, 18 Apr 2023 18:01:34 +0200
From: Ludovic Courtès <ludovic.courtes@inria.fr>

* gnu/packages/mpi.scm (openmpi): Update to 4.1.5.
---
 gnu/packages/mpi.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/mpi.scm b/gnu/packages/mpi.scm
index f21bd16d3a..20fc1a16a4 100644
--- a/gnu/packages/mpi.scm
+++ b/gnu/packages/mpi.scm
@@ -184,7 +184,7 @@ (define-public hwloc
 (define-public openmpi
   (package
     (name "openmpi")
-    (version "4.1.4")
+    (version "4.1.5")
     (source
      (origin
        (method url-fetch)
@@ -192,7 +192,7 @@ (define-public openmpi
                            (version-major+minor version)
                            "/downloads/openmpi-" version ".tar.bz2"))
        (sha256
-        (base32 "03ckngrff1cl0l81vfvrfhp99rbgk7s0633kr1l468yibwbjx4cj"))
+        (base32 "1qyvc77diyrxmviirdwqpibgm32c4vkdlvw8g79rsf2pq9mrhh56"))
        (patches (search-patches "openmpi-mtl-priorities.patch"))))
 
     (properties

base-commit: 84bd7cf9189574d9a966c4583f95bfe843e4b56a
-- 
2.39.2




--- End Message ---
--- Begin Message --- Subject: Re: bug#62937: [PATCH] gnu: openmpi: Update to 4.1.5. Date: Mon, 24 Apr 2023 12:26:40 +0200 User-agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux)
Ludovic Courtès <ludo@gnu.org> skribis:

> From: Ludovic Courtès <ludovic.courtes@inria.fr>
>
> * gnu/packages/mpi.scm (openmpi): Update to 4.1.5.

Pushed as a386edb4dc334b54a75d845719247da6c9078458.


--- End Message ---

reply via email to

[Prev in Thread] Current Thread [Next in Thread]