You should do the exact command I wrote. I usually use aptitude too, but for
this I used apt-get. It resolved the dependencies on its own.
Here is again what I did:
sudo apt-get install --install-recommends linux-generic-lts-belenos
xserver-xorg-lts-quantal libgl1-mesa-glx-lts-quantal
To revert the changes I did:
sudo apt-get install libgl1-mesa-glx trisquel xserver-xorg
xserver-xorg-input-all
sudo aptitude purge libdrm-nouveau2 libllvm3.1 libtxc-dxtn-s2tc0
libxatracker1-lts-quantal libxrandr-ltsq2 linux-generic-lts-belenos
linux-headers-3.5.0-25 linux-headers-3.5.0-25-generic
linux-headers-generic-lts-belenos linux-image-3.5.0-25-generic
linux-image-generic-lts-belenos x11-xserver-utils-lts-quantal xfonts-base
