Thanks for reporting this bug. I'm afraid I can' treproduce this.
Can you please try doing
sudo apt-cache clean sudo apt-get update sudo apt-get dist-upgrade
then see whether
sudo apt-get install gnome-shell works?
Thanks for reporting this bug. I'm afraid I can' treproduce this.
Can you please try doing
sudo apt-cache clean
sudo apt-get update
sudo apt-get dist-upgrade
then see whether
sudo apt-get install gnome-shell works?