{{tag>os linux distrib}}

====== Ubuntu + Cinnamon ======

===== ppa =====

  * ppa:gwendal-lebihan-dev/cinnamon-nightly