J'ai eu du mal à installer un serveur wims sur
une ubuntu 7.10.

En plus des 3 paquets wims
et du script apache-config (le script post-install
devrait demander à l'utilisateur si il souhaite executer ce script ou si il préfère configurer apache à la main, car à la fin de l'installation des 3 paquets, wims ne marche pas encore).

Après tout cela wims marche sauf certains exos. En fait il manque le paquet maxima-share
car ni maxima ni wims ne dépendent de ce paquet pourtant il est indipensable pour des fonctions de simplification come ratsimp ...

Cordialement,
Christophe