diff options
| author | Ludovic Courtès <ludovic.courtes@inria.fr> | 2017-05-11 14:36:12 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-05-11 18:05:42 +0200 |
| commit | 77abe3f091b4eaa7e75ec338fefc9c70531b708f (patch) | |
| tree | 2b42e753db89a269ebcd49d24bc1c9f225296372 /graph.js | |
| parent | 5db5dff53d255eb0738de4b44717a4b148fb8294 (diff) | |
gnu: hwloc: Update to 1.11.7.
* gnu/packages/mpi.scm (hwloc): Update to 1.11.7.
Diffstat (limited to 'graph.js')
0 files changed, 0 insertions, 0 deletions