The correct PPA is now : https://launchpad.net/~gwendal-lebihan-dev/+archive/cinnamon-stable (the other one isn't maintained anymore)
The correct PPA is now : https:/ /launchpad. net/~gwendal- lebihan- dev/+archive/ cinnamon- stable (the other one isn't maintained anymore)