[Pkg-openmpi-maintainers] Bug#877009: openmpi: Please remove leftover libcr-dev build dependency
Adrian Bunk
bunk at debian.org
Wed Sep 27 18:04:43 UTC 2017
Source: openmpi
Version: 2.1.1-6
Severity: normal
Control: block 876908 by -1
Please remove the libcr-dev build dependency leftover from the times
when openmpi-checkpoint existed.
More information about the Pkg-openmpi-maintainers
mailing list