/usr/bin/cinnamon2d
/usr/bin/cinnamon
/usr/bin/cinnamon-desktop-editor
/usr/bin/cinnamon-extension-tool
/usr/bin/cinnamon-json-makepot
/usr/bin/cinnamon-launcher
/usr/bin/cinnamon-looking-glass
/usr/bin/cinnamon-menu-editor
/usr/bin/cinnamon-screensaver-lock-dialog
/usr/bin/cinnamon-session-cinnamon2d
/usr/bin/cinnamon-session-cinnamon
/usr/bin/cinnamon-settings
/usr/bin/cinnamon-settings-users
You may install this package on Debian with
apt-get
install cinnamon