Une autre méthode, un peu crade, est d'ajouter le dépôt "trusty" à vos sources de paquets. Cela ne devrait pas poser de problème dans la mesure où les paquets proposés sont normalement plus anciens et donc de moindre priorité. Jouer avec les dépôts peut cependant être dangereux pour le système. Donc il vaut mieux avoir vraiment besoin d'Xcas, et tester sur un système qu'on peut casser.
Par exemple, ajouter cette ligne à /etc/apt/sources.list :
deb http://fr.archive.ubuntu.com/ubuntu/ trusty main amd64
(à adapter si par exemple vous êtes en 32 bits). Puis update et install, comme d'hab.
