This PPA is better and supports Trisquel 7:
https://launchpad.net/~moorkai/+archive/ubuntu/cinnamon
- [Trisquel-users] Re : Cinnamon DE on Trisquel lcerf
- Re: [Trisquel-users] Cinnamon DE on Trisquel tegskywalker
- Re: [Trisquel-users] Cinnamon DE on Trisquel jbahn