Je viens de vérifier sur un serveur Ubuntu 16.04.1 LTS sur lequel WIMS détecte correctement Maxima (version 5.37.2)
Par contre, je n’ai pas de serveur Ubuntu en 12.04LTS. Cette version commence en effet à dater et ne sera bientôt plus maintenue. Peut-etre est-il le moment de planifier une migration vers une version 14 ou 16 d’Ubuntu ?
Olivier Bado-Faustin / Université Côte d’Azur