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/ -----------------------------------------------------