Come desinstalare openmpi-common su Debian Unstable (Sid)