rename for simplicity

This commit is contained in:
Yann Dupont 2021-05-04 23:06:51 +02:00
parent bea7e3bfb3
commit 948f10d9aa

View file

@ -672,7 +672,7 @@ in the @code{debug} output), and binutils.")))
(define-public glicid-specific-openmpi
(package
(inherit glicid-openmpi-gcc-11)
(name "glicid-specific-openmpi-gcc-11")
(name "glicid-specific-openmpi")
(inputs `(
("gcc",gcc-11)
("rdma-core",glicid-specific-rdma-core-gcc-11)