Skip to content

fixup: use apt-get openmpi#7

Closed
streeve wants to merge 2 commits intomainfrom
fixup_external_find_mpi
Closed

fixup: use apt-get openmpi#7
streeve wants to merge 2 commits intomainfrom
fixup_external_find_mpi

Commits

Commits on Jun 11, 2025