cinnamon-dbg 1.7.4-2ubuntu4 (armhf binary) in ubuntu saucy

 Cinnamon is a desktop environment which provides advanced innovative
 features and a traditional user experience.
 .
 The desktop layout is similar to GNOME 2. The underlying technology is
 forked from gnome-shell. The emphasis is put on making users feel at home
 and providing them with an easy to use and comfortable desktop experience.
 .
 This package contains the debugging symbols.