Package: gnome-shell

"gnome-shell" package binaries on Debian:

/usr/bin/gnome-shell /usr/bin/gnome-shell-extension-prefs /usr/bin/gnome-shell-extension-tool /usr/bin/gnome-shell-perf-tool

You may install this package on Debian with apt-get install gnome-shell