(address . guix-patches@gnu.org)
20220328124925.805650-1-philippe.swartvagher@inria.fr
`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
```
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
nothing caught my attention regarding the packaging.
Tested by building intel-mpi-benchmarks against this new version of
OpenMPI, succefuly built.
Philippe.