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 /po | |
| parent | 9d80d0e95c9eab042ddd8250ad9a231ed0c458dc (diff) | |
| download | 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 'po')
0 files changed, 0 insertions, 0 deletions