diff options
| author | Dave Love <fx@gnu.org> | 2017-11-07 17:58:54 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-11-07 18:09:13 +0100 |
| commit | f4433d09a181e2733643a69379e2b1404c59c66c (patch) | |
| tree | 4e93c1d5d30b24507cdb55de65a709929622ba57 /gnu/local.mk | |
| parent | 7bc05ef0acbf8153a05615a4f45d8ceb16acdda1 (diff) | |
| download | guix-f4433d09a181e2733643a69379e2b1404c59c66c.tar.gz | |
gnu: openmpi: Add dependency on PSM.
* gnu/packages/mpi.scm (openmpi)[inputs]: Add PSM.
Diffstat (limited to 'gnu/local.mk')
0 files changed, 0 insertions, 0 deletions