Hasta hace poco teníamos que usar una version nightly (de desarrolladores). Tenemos la posibilidad de cambiarlo a una versión estable.
Primero quitamos el ppa que añadimos:
add-apt-repository --remove ppa:gwendal-lebihan-dev/cinnamon-nightly
Luego añadimos los nuevos repositorios:
sudo add-apt-repository ppa:lestcape/cinnamon
sudo apt-get update
sudo apt-get install cinnamon
Con esto ya podremos usar una versión estable de Cinnamon en nuestro Ubuntu 14.04
