diff options
| author | Dave Love <fx@gnu.org> | 2017-07-23 22:00:21 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-07-25 18:09:27 +0200 |
| commit | 1f9bff415220ed412a95d3190faaa449150864d6 (patch) | |
| tree | 94434c6730ec9576a919d7259bda134d2ec5cbd9 /scripts | |
| parent | 386f5415569604d3c4c83823ffc6b71b3012670c (diff) | |
| download | guix-1f9bff415220ed412a95d3190faaa449150864d6.tar.gz | |
gnu: openmpi: Update to 1.10.7.
* gnu/packages/mpi.scm (openmpi): Update to 1.10.7. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions