grenouille et woody

[Olivier Garet <Olivier.Garet@labomath.univ-orleans.fr>]

Bonjour,

Depuis que je suis passé sous woody, le package pl-grenouille 0.6 ne
fonctionne plus et refuse de se désinstaller.
Que faire ?

Merci d'avance.

Olivier