Binary: opal-restart

Debian packages that has this binary:

Package: libopenmpi1.6-dbg

/usr/lib/debug/usr/bin/opal-restart

Package: openmpi-checkpoint

/usr/bin/opal-restart