Concernant COLOANE, tu n'arrivais pas à l'installer parce que ce n'était pas le bon paquet qui était disponible, Laure P. a du contacter par téléphone les mainteneurs du LIP6 pour obtenir des indications. Si c'est le cas même qui se produit je pense que tu sais ce qu'il y a faire Jean-Christophe Dubacq a écrit :

Naim.Aber@lipn.univ-paris13.fr a écrit :

...

Salut, Voici les outils que je voudrai installer:

1)TINA: http://homepages.laas.fr/bernard/tina/

2)ROMEO: http://romeo.rts-software.org/

3)UPPAAL: http://www.uppaal.com/

Ce genre de logiciel est à installer par l'utilisateur dans son propre répertoire. Ce ne sont pas des logiciels déjà empaquetés dans les distributions et relèvent du travail normal d'un chercheur.

Cordialement,

------------------------------------------------------------------------

_______________________________________________ Systeme mailing list Systeme@lipn.univ-paris13.fr https://intranet.lipn.univ-paris13.fr/mailman/listinfo/systeme

-- Cordialement Mamadou S. ----------------------------------------------------- Mr Mamadou SOW LIPN Bureau A202/Institut Galilée/Univ. Paris XIII 99 Av. Jean Baptiste Clément 93430 Villetaneuse - France Tel: 01 49 40 40 68 / 06 12 09 35 68 Fax: 01 48 26 07 12 Accès au LIPN: P4 ou parking 4 http://www-lipn.univ-paris13.fr/~mamadou/ -----------------------------------------------------