diff options
author | Dave Love <fx@gnu.org> | 2017-10-03 19:14:50 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2017-10-05 12:09:17 +0200 |
commit | 04717e9406f3b5171ad28ed67d926ce0e25da94d (patch) | |
tree | c519a1155941e07ffadc536c251d43b7a10c7010 /TODO | |
parent | 9d80d0e95c9eab042ddd8250ad9a231ed0c458dc (diff) | |
download | guix-04717e9406f3b5171ad28ed67d926ce0e25da94d.tar guix-04717e9406f3b5171ad28ed67d926ce0e25da94d.tar.gz |
gnu: Add imb-openmpi.
* gnu/packages/benchmark.scm (imb): New procedure.
(imb-openmpi): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'TODO')
0 files changed, 0 insertions, 0 deletions