Merge branch 'devel' into 'main'

add string

See merge request glicid-public/guix-glicid!491
This commit is contained in:
Yann Dupont 2025-02-18 12:56:54 +00:00
commit eda3f5dab9

View file

@ -24,7 +24,7 @@
(define-public openmpi-glicid-new
(package/inherit gnu:openmpi-4
(name "openmpi-glicid")
(name "openmpi-glicid-new")
(arguments
(substitute-keyword-arguments (package-arguments gnu:openmpi-4)
((#:configure-flags flags)