mirror of
https://git.savannah.gnu.org/git/guix.git
synced 2026-04-06 21:20:33 +02:00
* 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