Package: cinnamon-session

"cinnamon-session" package binaries on Debian:

/usr/bin/cinnamon-session /usr/bin/cinnamon-session-properties /usr/bin/cinnamon-session-quit

You may install this package on Debian with apt-get install cinnamon-session