From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A6F29BC57; Sat, 24 Jul 2010 12:51:48 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjADAHJiSkzRVaE2kGdsb2JhbACDFJxJCBUBAQEBCQkMBxEDH4gXphiCS4U+iQIBAQMFgSGDHXMEiGSCR4Ua X-IronPort-AV: E=Sophos;i="4.55,252,1278280800"; d="scan'208";a="64357465" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail1-smtp-roc.national.inria.fr with ESMTP; 24 Jul 2010 12:51:48 +0200 Received: by fxm13 with SMTP id 13so6611825fxm.27 for ; Sat, 24 Jul 2010 03:51:47 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:sender:received :in-reply-to:references:date:x-google-sender-auth:message-id:subject :from:to:cc:content-type; bh=3c3CLPxrDKqq5ZtnAS577iUDWyBtnzVAfidlq665bN0=; b=AG9BZe6LXo96SBK673IOieEEBZ8wrvHECPpGFk/5s5cFiHU3TSb51nedVY3HAq9LDL Vj9oxykg/HDIPNaRetoJsa5ZIjRSkVWdpF76kmBwUQMBvRxGKds9YA5xI8kVBrvRfCC5 C600Vza+gnM38XYGE5ExKSuRTjG/5s8kM6khA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=Qq/4IAQUSSgNFgQC6Mllxu2O8ZjgT8/RWlU3Pd/WXSZfq5VLahF5vFi4LJ2YHN5zlg N6ev6vJXfv0R9co0NaV7lc8u8CGjh4t0J/9vEL/NjNT2jZcibDbzBaZw4n9T/TakgW+M eomGMAe4KpzzVMgOO0bgV3h748VsFw/13N1dM= MIME-Version: 1.0 Received: by 10.223.117.194 with SMTP id s2mr4261732faq.57.1279968707878; Sat, 24 Jul 2010 03:51:47 -0700 (PDT) Sender: daniel.c.buenzli@gmail.com Received: by 10.223.113.11 with HTTP; Sat, 24 Jul 2010 03:51:47 -0700 (PDT) In-Reply-To: <57C7EDF8-5D57-42E2-A63B-0B3E4E17B87D@inria.fr> References: <57C7EDF8-5D57-42E2-A63B-0B3E4E17B87D@inria.fr> Date: Sat, 24 Jul 2010 12:51:47 +0200 X-Google-Sender-Auth: UQ67WUv6o9FbpI3KaO8Gh9z2nCY Message-ID: Subject: Re: [Caml-list] OCaml 3.12.0+rc1 From: =?UTF-8?Q?Daniel_B=C3=BCnzli?= To: Damien Doligez Cc: caml users Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; ocaml:01 buenzli:01 caml-list:01 caml:02 daniel:04 daniel:04 inria:06 php:87 but:14 test:15 problems:16 installation:18 don't:19 fixed:19 report:79 > report any problems with [...] installation on your favorite platform. Don't have the time right now to test it but if the BT is up to date this : http://caml.inria.fr/mantis/view.php?id=5093 wasn't fixed. Daniel