The package gnome-shell-extension-workspacestodock 44-0kali3 has been removed from kali-dev. -- More information about gnome-shell-extension-workspacestodock: http://pkg.kali.org/pkg/gnome-shell-extension-workspacestodock