Hello,
On 29-07-2011, Damien Doligez wrote:
> Dear OCaml users,
>
> We have implemented the decision taken at this year's OCaml meeting: to
> change the name of the language and system to "OCaml" in one word, with
> capital O and capital C, and nothing between them.
>
> That makes it much easier
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.
In your previous mail you wrote:
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, th
> 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 :-)
Hello,
I hope your admin does not read caml-list or has a good sense of humour ;-)
Cheers,
Christophe
> - Xavier Leroy
>
--
Caml-list mailing l
On Fri, Jul 29, 2011 at 07:34:02PM +0200, Xavier Leroy wrote:
> Unrelated, but thanks for reporting it. It seems that INRIA's DNS is
> broken and reports two different IP addresses for caml.inria.fr
According to http://www.squish.net/dnscheck, all seven nameservers
consistently return 128.93.11.3
