branch wip-mpi deleted (was 7385c3b)

[guix-commits]

civodul pushed a change to branch wip-mpi
in repository guix.

       was  7385c3b   gnu: openmpi: Raise the priority of the PSM2 component.

This change permanently discards the following revisions:

  discards  7385c3b   gnu: openmpi: Raise the priority of the PSM2 component.
  discards  5533114   gnu: psm: Add "debug" output.
  discards  108e113   gnu: openmpi, slurm: Switch to hwloc 2.x.
  discards  26d3caf   gnu: hwloc: Update to 2.1.0.
  discards  bd1e5d8   gnu: slurm: Build shared libraries only.
  discards  6d6003d   gnu: slurm: Update to 19.05.3-2.
  discards  c62b160c  gnu: Add Intel MPI Benchmarks.
  discards  f502ff4   gnu: rdma-core: Update to 26.0.
  discards  fc6a813   gnu: rdma-core: Use the "write" ioctl mode.
  discards  37532fe   gnu: openmpi: Pass explicit "--with-*" configure flags.
  discards  79ef2e4   gnu: ucx: Do not install static libraries.
  discards  304f906   gnu: ucx: Enable InfiniBand support through Verbs.