Eu não habilitei o repo do romeo, mas, em vez disso, segui as instruções deste link nos fóruns que o jasonwryan me indicou: link
Para referência, as instruções são:
1. Open the “Software Sources” tool from “Menu -> Preferences -> Software Sources”
2. Click on the “Backported packages (backports)” checkbox
3. Launch the “Update Manager” from “Menu->Administration->Update Manager”
4. Select all level 1 and level 2 updates
5. Click on “Install Updates”
Agora tenho o Cinnamon 1.6.7 instalado no Mint 13.