diff options
| author | Tobias Geerinckx-Rice <[email protected]> | 2019-04-15 11:30:48 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <[email protected]> | 2019-04-16 00:05:04 +0200 |
| commit | 6e36c6ed8f56915c2f4aacb57ac9addefc726897 (patch) | |
| tree | f385afe2476855810978749973bf62389b984b35 /po | |
| parent | c11fcc6aa27db5f68aed807a6190143f4a156564 (diff) | |
gnu: openmpi: Update to .
* gnu/packages/mpi.scm (openmpi): Update to .
mpi
openmpi
Diffstat (limited to 'po')
0 files changed, 0 insertions, 0 deletions