mirror of
https://gitlab.univ-nantes.fr/glicid-public/guix-glicid.git
synced 2025-04-30 06:08:37 +02:00
preserve openmpi-glicid name
This commit is contained in:
parent
2992349804
commit
d1449369be
1 changed files with 6 additions and 1 deletions
|
@ -10,4 +10,9 @@
|
||||||
#:use-module (glicid packages parallel)
|
#:use-module (glicid packages parallel)
|
||||||
#:use-module (gnu packages))
|
#:use-module (gnu packages))
|
||||||
|
|
||||||
(define-public openmpi-glicid gnu:openmpi-4)
|
(define-public openmpi-glicid
|
||||||
|
|
||||||
|
(package
|
||||||
|
(inherit gnu:openmpi-4)
|
||||||
|
(name "openmpi-glicid")
|
||||||
|
)
|
Loading…
Add table
Reference in a new issue