Package: libcr-dbg

"libcr-dbg" package binaries on Debian:

/usr/lib/debug/usr/bin/cr_checkpoint /usr/lib/debug/usr/bin/cr_restart

You may install this package on Debian with apt-get install libcr-dbg