diff options
author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2021-03-18 15:17:48 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2021-03-19 13:23:26 +0100 |
commit | 14aa86e50c3d931eb3714ca7bb91f861173169c8 (patch) | |
tree | 0b0a582a6ab7dbd9cb34c5c4a4e86e9b1e2f423e /gnu/build/linux-initrd.scm | |
parent | a0f83602f8333f2e9fa01ee8ad1ce9e073f5b753 (diff) | |
download | guix-14aa86e50c3d931eb3714ca7bb91f861173169c8.tar.gz guix-14aa86e50c3d931eb3714ca7bb91f861173169c8.zip |
gnu: openmpi: Add 'release-monitoring-url' property.
* gnu/packages/mpi.scm (openmpi)[properties]: New field.
Diffstat (limited to 'gnu/build/linux-initrd.scm')
0 files changed, 0 insertions, 0 deletions