O repositório Hello, na verdade, Cinnamon não existia no Ubuntu. Você precisa adicionar seu PPA se quiser instalá-lo.
Então, para instalar, abra seu terminal e cole essas etapas uma a uma.
sudo add-apt-repository ppa:merlwiz79/cinnamon-ppa
sudo apt-get update
sudo apt-get install cinnamon cinnamon-session cinnamon-settings