Merge branch 'devel' into 'main'

stupid typo

See merge request glicid-public/guix-glicid!495
This commit is contained in:
Yann Dupont 2025-02-18 15:16:21 +00:00
commit 712dd21166

View file

@ -49,9 +49,9 @@
(define-public openmpi-glicid-pmxv4
(define-public openmpi-glicid-pmixv4
(package/inherit openmpi-4-latest
(name "openmpi-glicid-pmxv4")
(name "openmpi-glicid-pmixv4")
(arguments (substitute-keyword-arguments (package-arguments
openmpi-4-latest)
((#:configure-flags flags)