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