diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-11-19 10:28:22 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-11-19 10:51:53 +0100 |
| commit | 8ec7ca22d363b80b173ce87c5f39d5ca9686d248 (patch) | |
| tree | c792afe23239db39a21665bbd579a790459d5b85 /scripts | |
| parent | 69f759912db9af8d3161b315d8806720e068679e (diff) | |
| download | patches-8ec7ca22d363b80b173ce87c5f39d5ca9686d248.tar patches-8ec7ca22d363b80b173ce87c5f39d5ca9686d248.tar.gz | |
gnu: hwloc: Default to 2.x.
* gnu/packages/mpi.scm (hwloc): Rename to...
(hwloc-1): ... this.
(hwloc-2): Adjust 'inherit' clause accordingly.
(hwloc): New variable.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions