diff options
| author | Cayetano Santos <csantosb@inventati.org> | 2026-03-16 11:03:13 +0100 |
|---|---|---|
| committer | Cayetano Santos <csantosb@inventati.org> | 2026-03-30 12:12:42 +0200 |
| commit | 3eeff7cc2128b23195e18b39a81dd3968705dd09 (patch) | |
| tree | e80b5dd631318762f88884a5e40feb6034cd5cb6 /gnu/packages/parallel.scm | |
| parent | ea44e60c30a426308df17f385cb68bb425f5ca9e (diff) | |
gnu: hwloc-2: Use git-fetch.
* gnu/packages/mpi.scm (hwloc-2)[source]: Switch to git-fetch.
[properties]: Delete.
[arguments]<#:phases>: Remove ’delete-configure and ’move-man3-pages;
add ’move-man-pages.
Merges guix/guix!7434
Change-Id: Id0ae1c858c4dc0d52de45f6a1714cb63019bb7b3
Diffstat (limited to 'gnu/packages/parallel.scm')
0 files changed, 0 insertions, 0 deletions