Package: openmpi-bin Severity: serious Version: 3.0.1-7 Dear maintainer,
With the latest openmpi, I would get the following result when running "apt dist-upgrade": % LANG=C sudo apt install -f Reading package lists... Done Building dependency tree Reading state information... Done 0 upgraded, 0 newly installed, 0 to remove and 2 not upgraded. 2 not fully installed or removed. After this operation, 0 B of additional disk space will be used. Setting up openmpi-bin (3.0.1-7) ... dpkg: error processing package openmpi-bin (--configure): installed openmpi-bin package post-installation script subprocess returned error exit status 1 dpkg: dependency problems prevent configuration of libopenmpi-dev:amd64: libopenmpi-dev:amd64 depends on openmpi-bin (>= 3.0.0-1); however: Package openmpi-bin is not configured yet. dpkg: error processing package libopenmpi-dev:amd64 (--configure): dependency problems - leaving unconfigured Errors were encountered while processing: openmpi-bin libopenmpi-dev:amd64 E: Sub-process /usr/bin/dpkg returned an error code (1) -- Regards, Boyuan Yang
