Package: openmpi-checkpoint

"openmpi-checkpoint" package binaries on Debian:

/usr/bin/ompi-checkpoint /usr/bin/ompi-restart /usr/bin/opal-checkpoint /usr/bin/opal-restart /usr/bin/orte-checkpoint /usr/bin/orte-restart

You may install this package on Debian with apt-get install openmpi-checkpoint