Merge branch 'devel' into 'main'

try to simplify name

See merge request glicid-public/guix-glicid!85
This commit is contained in:
Yann Dupont 2022-09-09 15:45:01 +00:00
commit f373bd0172

View file

@ -92,7 +92,10 @@
(define-public openmpi-glicid-waves (define-public openmpi-glicid-waves
(transform-package ((instead-of "slurm-glicid" slurm-ccipl) openmpi-glicid-libfabric-rdma-ucx-psm2) "waves") (package
(inherit (transform-package ((instead-of "slurm-glicid" slurm-ccipl) openmpi-glicid-libfabric-rdma-ucx-psm2) "waves"))
(name "openmpi-glicid-waves")
)
) )