68ac34e120
* gnu/packages/patches/openmpi-psm2-priority.patch: Rename to... * gnu/packages/patches/openmpi-mtl-priorities.patch: ... this. Add hunk to change the priority of PSM. * gnu/packages/mpi.scm (openmpi)[source]: Adjust accordingly. * gnu/local.mk (dist_patch_DATA): Likewise. |
||
---|---|---|
.. | ||
bootloader | ||
build | ||
installer | ||
machine | ||
packages | ||
services | ||
system | ||
tests | ||
artwork.scm | ||
bootloader.scm | ||
ci.scm | ||
installer.scm | ||
local.mk | ||
machine.scm | ||
packages.scm | ||
services.scm | ||
system.scm | ||
tests.scm |