@tasgo : I just followed the procedure explained at askubuntu, without success : the upgrade still fails with the same error message... :/
@michael-ransbottom : I suspected that, but even after adding the xorg-edgers PPA like this :
'
'
sudo add-apt-repository ppa:xorg-edgers/ppa
sudo apt-get update
sudo apt-get install <package name>
'
'
... when trying to install the 'xorg-server' package, I still get messages like "Impossible to find the packet xorg-server".
HOWEVER I decided to remove the libkms1 packet, and then after reactivating the xorg-edgers repository, the ppa-purge seems to run ok... I will take you informed if I succeed in upgrading 13.10 to 14.04 after that... :)
@tasgo : I just followed the procedure explained at askubuntu, without success : the upgrade still fails with the same error message... :/
@michael-ransbottom : I suspected that, but even after adding the xorg-edgers PPA like this :
'
'
sudo add-apt-repository ppa:xorg-edgers/ppa
sudo apt-get update
sudo apt-get install <package name>
'
'
... when trying to install the 'xorg-server' package, I still get messages like "Impossible to find the packet xorg-server".
HOWEVER I decided to remove the libkms1 packet, and then after reactivating the xorg-edgers repository, the ppa-purge seems to run ok... I will take you informed if I succeed in upgrading 13.10 to 14.04 after that... :)