[bug#54610] [PATCH] gnu: openmpi: Update to 4.1.2

[Philippe SWARTVAGHER <philippe.swartvagher@inria.fr>]

[-- Attachment #1: Type: text/plain, Size: 1161 bytes --]

Well, I guess I didn't understood how the --compose option of git 
send-mail works...

I added some more information (which created a new issue...: 
https://issues.guix.gnu.org/54609):

`git refresh openmpi` seems to be broken for this package:

./pre-inst-env guix refresh openmpi
following redirection to 
`https://www-lb.open-mpi.org/software/ompi/current/'...
gnu/packages/mpi.scm:194:2: warning: 'generic-html' updater failed to
determine available releases for openmpi

The URL in
```
`((release-monitoring-url
. "https://www.open-mpi.org/software/ompi/current"))) 
<https://www.open-mpi.org/software/ompi/current")))>
```
redirects to a URL containing only the major and minor version, the
patch number has to be found in the content of the page. I don't know if
something has to be fixed and where (in the openmpi package, or is it a
bug from `guix refresh`?).


Regarding the update, I looked very quickly at the changelog
(https://raw.githubusercontent.com/open-mpi/ompi/v4.1.x/NEWS),and
nothing caught my attention regarding the packaging.


Tested by building intel-mpi-benchmarks against this new version of
OpenMPI, succefuly built.

-- 
Philippe

[-- Attachment #2: Type: text/html, Size: 2298 bytes --]