Skip to content

Split openmpi libraries into a separate package

Jakub Klinkovský requested to merge split-openmpi into main

Supersedes !1 (closed) and takes the first commit by @loqs.

Closes #1 (closed).

Edited by Jakub Klinkovský

Merge request reports