/usr/bin/dmtcp_checkpoint
/usr/bin/dmtcp_command
/usr/bin/dmtcp_coordinator
/usr/bin/dmtcp_discover_rm
/usr/bin/dmtcp_launch
/usr/bin/dmtcp_nocheckpoint
/usr/bin/dmtcp_restart
/usr/bin/dmtcp_rm_loclaunch
/usr/bin/dmtcp_sshd
/usr/bin/dmtcp_ssh
/usr/bin/mtcp_restart
You may install this package on Debian with
apt-get
install dmtcp