Всем доброго времени суток. Скажите, пожалуйста, 5 мая вышел релиз Cinnamon 1.8. НО.....обновить окружение до сих пор не могу. Добавил офиц. реп.: ppa:gwendal-lebihan-dev/cinnamon-stable
1. sudo apt-get update
2. sudo apt-get dist-upgrade
Никаких обновление пакетов
3. sudo apt-get install cinnamon
Установлена самая новая версия cinnamon
Пробил версию пакета cinnamon - 1.6.7
Тут, если посмотреть список пакетов для quantal есть версия cinnamon 1.8.
Вопрос: что я делаю нет так? и как можно обновить cinnamon?