la maj s'est bien faite vers 0.8.5 en ubuntu 9.10 64bits.
Cependant, je viens de tomber par hasard sur cette erreur quand je tape uniquement entrée sur la ligne de commande aussitôt après l'ouverture de xcas :
- screenshot_077.png (59.43 Kio) Consulté 2477 fois