Gwendal Le Bihan氏はCinnamon stable PPAのメンテナンスを継続しない

以下、Ask UbuntuにGwendal Le Bihan氏から寄せられたコメントです。

The stable PPA is indeed no longer being maintained.

The nightly PPA is being kept for development purposes and should not be used
 on any sort of production machine (it can and will break at any time).

To be honest, I don't have an alternative to offer Ubuntu users at the moment, 
apart from switching to a distribution that does support Cinnamon. 
There are many such distributions out there, and I'm only hoping for 
someone to (finally) step up on Ubuntu's side to provide proper packages to its users.

Cinnamon stable PPAはすでにクローズされ、開発目的のCinnamon nightly PPAのみを提供する。

他のディストリビューションに乗り換える他は、今のところUbuntuユーザーに代替はなく、誰かが正式なパッケージを提供してくれることを望んでいる。

ということですが、UbuntuでCinnamonが使えなくなるのは、本当に残念です。Ubuntu用のパッケージを引き継いでくれる開発者が現れることを期待しています。

なお、くれぐれもCinnamon nightly PPAからのインストールはしないでください。頻繁にクラッシュします。

As Ubuntu users we should all thank Gwendal Le Bihan for such hard work.