From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 7607A7FEFA for ; Tue, 1 Mar 2016 15:29:45 +0100 (CET) IronPort-PHdr: 9a23:ARdaKhV8oCE26P7k1hoiUCbC/7LV8LGtZVwlr6E/grcLSJyIuqrYZxeBt8tkgFKBZ4jH8fUM07OQ6PC/HzNYqsve+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVPF0D2WX1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3SNp41Rr1ADTkgL3t9pIiy7UGCHkOz4S4n028fiQZJDg7yzBD8UprrvzGy4tFw0iCBIcz7S/YUWDKu4r1mUjfpjj0GPng36jeTwoZ7hadf5RagvABXwojOYYjTOuA0NvfWdNYeAG5ARdp5VipbA4r6YZFZXMQbOuMNjYTnql4PoFOSBAytAuSnnj1Eh3r326oS0e0nHBraxgEtA5QFt3GC/4a9D7sbTe3glPqA9j7Edf4DnG6lsIU= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jdimino@janestreet.com; spf=Pass smtp.mailfrom=jdimino@janestreet.com; spf=None smtp.helo=postmaster@mxout1.mail.janestreet.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of jdimino@janestreet.com) identity=pra; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of jdimino@janestreet.com designates 38.105.200.112 as permitted sender) identity=mailfrom; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="jdimino@janestreet.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mxout1.mail.janestreet.com) identity=helo; client-ip=38.105.200.112; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="jdimino@janestreet.com"; x-sender="postmaster@mxout1.mail.janestreet.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AsAADlptVWknDIaSZehAxtBrosAQ2BZiGFcgKBPQc4FAEBAQEBAQEBEAEBAQEHFglQgi2CFQEBAwESER0BATgECwsEAQY3AgIiEgEFARwGARIih3UIAwuiboExPjGKTWeEQAEEilUBAQEBAQUBAQEBAQEBAQERAgQKhgiEOoRiglOBOpcThVmICY52jQ4RHoEPHgEBgjgegVBqAYhLAQEB X-IPAS-Result: A0AsAADlptVWknDIaSZehAxtBrosAQ2BZiGFcgKBPQc4FAEBAQEBAQEBEAEBAQEHFglQgi2CFQEBAwESER0BATgECwsEAQY3AgIiEgEFARwGARIih3UIAwuiboExPjGKTWeEQAEEilUBAQEBAQUBAQEBAQEBAQERAgQKhgiEOoRiglOBOpcThVmICY52jQ4RHoEPHgEBgjgegVBqAYhLAQEB X-IronPort-AV: E=Sophos;i="5.22,523,1449529200"; d="scan'208,217";a="166503321" Received: from mxout1.mail.janestreet.com ([38.105.200.112]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 01 Mar 2016 15:29:44 +0100 Received: from tot-qpr-mailcore1.delacy.com ([172.27.56.68] helo=tot-qpr-mailcore1) by mxout1.mail.janestreet.com with esmtps (TLSv1:DHE-RSA-AES256-SHA:256) (Exim 4.82) (envelope-from ) id 1aalJ1-0004Sv-Gt for caml-list@inria.fr; Tue, 01 Mar 2016 09:29:43 -0500 X-JS-Flow: external Received: by tot-qpr-mailcore1 with JS-mailcore (0.1) (envelope-from ) id BW1adX-AAAAKX-PA; 2016-03-01 09:29:43.481024-05:00 Received: from mail-ig0-f173.google.com ([209.85.213.173]) by mxgoog1.mail.janestreet.com with esmtps (UNKNOWN:AES128-GCM-SHA256:128) (Exim 4.72) (envelope-from ) id 1aalJ1-0004tP-DG for caml-list@inria.fr; Tue, 01 Mar 2016 09:29:43 -0500 Received: by mail-ig0-f173.google.com with SMTP id hb3so18960619igb.0 for ; Tue, 01 Mar 2016 06:29:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=janestreet.com; s=google; h=mime-version:in-reply-to:references:date:message-id:subject:from:to; bh=XRP/EhCx2Cpn4sJToqHSEf4e9VKzog2f0jIaindkZDs=; b=laypNG/NSGkokBczwMfEJ3Bx+YL8XRRzdHc9q07hCgi250dT5JJqWjAW04cJzn0GfK lCXLtNcgdKJyNc3jTLBZceICIl+3Uw5hos7o46cA+aYmgKXdzQaaW5pFQTn4RB0fRSuM 80q6ROJUawSev0R9JFCgf34Jb195LsJbldOO8= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:date :message-id:subject:from:to; bh=XRP/EhCx2Cpn4sJToqHSEf4e9VKzog2f0jIaindkZDs=; b=JiSgeLlps8QNlH/8tvtWVhmYG/3IfQFKsrfAmZ36kii2HGgd3BWltXuO16YRNI9Fe2 wiSuD6jsfOLRK9jnzgtCMLRK7rgnZpuE64ntkY+8jLbZTYYk4VHT5lR40KKC8qOnAdqk 7v9F3ccW3LoJACR9NTvoU0dhPN3cO9a6pkQquZ86YygJs2vs3oZFBN9Poz6qDMTxkEPi q4WwYMA0DoTosWrowkiu3lrrILn7hRX/vF22/QZtFgRYh1CKwPTBs7x8imzU4oNmWSWk 7fw9m8zquQktk6ZqwmXcwu7jgPyhHmF+JVXwrjsukDaRv0qXD6fipi9hEWAi/cj4yNxN BIdw== X-Gm-Message-State: AD7BkJKNnYlNZBu/Pl1ZfGzKNAjK+RDNs6UmQnG9lZxXeIU0kT05erqyP0gWj4cFSZV4Xhmt7bdvTvNZ5Tc6AYvrWZGFvkKT8bw7FPReFVSqXzibTM5PQk5aVyBm1jU/Ipkfg3vTY11g5JGdzq0E58IEkQ== X-Received: by 10.50.171.170 with SMTP id av10mr3997693igc.53.1456842582950; Tue, 01 Mar 2016 06:29:42 -0800 (PST) MIME-Version: 1.0 X-Received: by 10.50.171.170 with SMTP id av10mr3997680igc.53.1456842582799; Tue, 01 Mar 2016 06:29:42 -0800 (PST) Received: by 10.50.30.193 with HTTP; Tue, 1 Mar 2016 06:29:42 -0800 (PST) In-Reply-To: <20160301142440.GB11582@pl-59055.rocqadm.inria.fr> References: <6D9E8A9E-D008-46F2-9E59-D8BB15A88B30@inria.fr> <20160301135635.GA11380@pl-59055.rocqadm.inria.fr> <20160301142440.GB11582@pl-59055.rocqadm.inria.fr> Date: Tue, 1 Mar 2016 14:29:42 +0000 Message-ID: From:Jeremie Dimino To:=?UTF-8?Q?S=C3=A9bastien_Hinderer?= , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=089e0111c078a46b81052cfd9813 X-JS-Processed-by: mailcore Subject: Re: [Caml-list] Released: 4.03.0+beta1 --089e0111c078a46b81052cfd9813 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable On Tue, Mar 1, 2016 at 2:24 PM, S=C3=A9bastien Hinderer < Sebastien.Hinderer@inria.fr> wrote: > Daniel B=C3=BCnzli (2016/03/01 15:16 +0100): > > Le mardi, 1 mars 2016 =C3=A0 14:56, S=C3=A9bastien Hinderer a =C3=A9cri= t : > > > So I assume this is a camlp4 packaging issue? > > > > Apparently. Workaround: > > > > opam pin add -kgit camlp4 https://github.com/ocaml/camlp4.git#4.03 > > This will be fixed by this PR: =E2=80=8B https://github.com/ocaml/opam-repository/pull/5832 --089e0111c078a46b81052cfd9813 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
On Tue, Ma= r 1, 2016 at 2:24 PM, S=C3=A9bastien Hinderer <Sebastien.Hinderer@inria.fr> wrote:
Daniel B=C3=BC= nzli (2016/03/01 15:16 +0100):
> Le mardi, 1 mars 2016 =C3=A0 14:56, S=C3=A9bastien Hi= nderer a =C3=A9crit :
> > So I assume this is a camlp4 packaging issue?
>
> Apparently. Workaround:
>
> opam pin add -kgit camlp4 https://github.com/ocaml/caml= p4.git#4.03


This will be f= ixed by this PR: =E2=80=8Bhttps://github.com/ocaml/opam-repository/pull/5832
<= /div>
--089e0111c078a46b81052cfd9813--