Binary: orte-checkpoint

Debian packages that has this binary:

Package: openmpi-checkpoint

/usr/bin/orte-checkpoint