I would like to upgrade to the latest version of Cinnamon. I'm running Linux Mint 13 in a virtual machine. Everywhere I look, I see the same instructions:
> sudo add-apt-repository ppa:gwendal-lebihan-dev/cinnamon-stable
> sudo apt-get update
> sudo apt-get install cinnamon
When I do that, apt-get install reports that "cinnamon is already the newest version". When I check the version with "cinnamon --version", it reports 1.4 and not version 1.6 (or later) like I expect. Is there something else I need to do?