Skip to content

add a workaround for the openMPI problem in debian-11

workaround for #18 (closed)

Merge request reports