On 07/29/2011 06:59 PM, Sylvain Le Gall wrote: > Another side effect: caml.inria.fr points to active-dvi !
Unrelated, but thanks for reporting it. It seems that INRIA's DNS is broken and reports two different IP addresses for caml.inria.fr, the correct one and the one of the server hosting advi.inria.fr... I notified our network admins but we'll have to wait until Monday for a fix. Be patient... Mehdi Doggy adds: > Do you plan to keep caml.inria.fr as well? or to add ocaml.inria.fr? We didn't discuss that. For the moment, I'll wait until the caml.inria.fr issue is resolved before asking our network admins anything else :-) - Xavier Leroy -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
