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/machine | |
| 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/machine')
0 files changed, 0 insertions, 0 deletions