[Pkg-openmpi-maintainers] Bug#572021: openmpi-checkpoint: orte-checkpoint is not installed by package, ompi-checkpoint is a link to it

[Alan Woodland]

2010/3/1 Fernando Tarlá Cardoso Lemos <fernandotcl at gmail.com>:
> Package: openmpi-checkpoint
> Version: 1.4.1-1
> Severity: grave
> Justification: renders package unusable
>
>
> /usr/bin/ompi-checkpoint is a symlink to orte-checkpoint, but orte-checkpoint
> isn't installed by this package.

Does indeeed seem to be missing:
http://packages.debian.org/sid/amd64/openmpi-checkpoint/filelist

> Likewise, ompi-restart is a symlink to orte-restart, but orte-restart isn't
> installed by this package either.
>
> Those two binaries are essential to OpenMPI checkpointing and their absence
> renders the package unusable.
>
> My suggested fix is to add /usr/bin/orte-checkpoint and /usr/bin/orte-restart
> to the list of files that are installed by this package.
>
Any ideas where these got to? They were definitely included in the
first version of openmpi-checkpoint that was uploaded...

Alan