From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@inria.fr>
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 893527FEFA
	for <caml-list@sympa.inria.fr>; Tue,  1 Mar 2016 15:24:36 +0100 (CET)
X-IronPort-AV: E=Sophos;i="5.22,523,1449529200"; 
   d="scan'208";a="166502484"
Received: from hp-sebastien.rsr.lip6.fr (HELO pl-59055.rocqadm.inria.fr) ([132.227.76.32])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 01 Mar 2016 15:24:36 +0100
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.86)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1aalE8-00031K-Np
	for caml-list@inria.fr; Tue, 01 Mar 2016 15:24:40 +0100
Date: Tue, 1 Mar 2016 15:24:40 +0100
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: caml-list@inria.fr
Message-ID: <20160301142440.GB11582@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: caml-list@inria.fr
References: <F7D73768-45F2-414C-BD7E-7E3B80F989D2@inria.fr>
 <6D9E8A9E-D008-46F2-9E59-D8BB15A88B30@inria.fr>
 <20160301135635.GA11380@pl-59055.rocqadm.inria.fr>
 <AB9E5E23BE5E4898A0E345BCA52C4404@erratique.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <AB9E5E23BE5E4898A0E345BCA52C4404@erratique.ch>
Subject: Re: [Caml-list] Released: 4.03.0+beta1

Daniel Bünzli (2016/03/01 15:16 +0100):
> Le mardi, 1 mars 2016 à 14:56, Sébastien Hinderer a écrit :
> > So I assume this is a camlp4 packaging issue?
> 
> Apparently. Workaround:  
> 
> opam pin add -kgit camlp4 https://github.com/ocaml/camlp4.git#4.03

Thanks a lot, Daniel!

Sébastien.