Manpages of openmpi-checkpoint in Debian jessie

• ompi-checkpoint(1)
• ompi-restart(1)
• ompi_crcp(7)
• opal-checkpoint(1)
• opal-restart(1)
• opal_crs(7)
• orte-checkpoint(1)
• orte-restart(1)