From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Sebastien.Hinderer@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 5DA1E7EE78
	for <caml-list@sympa.inria.fr>; Tue, 26 Apr 2016 16:24:44 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.24,536,1454972400"; 
   d="scan'208";a="175829032"
Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Apr 2016 16:24:43 +0200
Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.87)
	(envelope-from <Sebastien.Hinderer@inria.fr>)
	id 1av3ut-0005e2-Iy; Tue, 26 Apr 2016 16:24:43 +0200
Date: Tue, 26 Apr 2016 16:24:43 +0200
From: =?utf-8?Q?S=C3=A9bastien?= Hinderer <Sebastien.Hinderer@inria.fr>
To: Daniel =?utf-8?Q?B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
Cc: caml-list@inria.fr
Message-ID: <20160426142443.GA21686@pl-59055.rocqadm.inria.fr>
Mail-Followup-To: Daniel =?utf-8?Q?B=C3=BCnzli?= <daniel.buenzli@erratique.ch>,
	caml-list@inria.fr
References: <20160426122742.GA2423@pl-59055.rocqadm.inria.fr>
 <F313772A0C714890AC5EA1EF1D776EFE@erratique.ch>
 <20160426130705.GA7092@pl-59055.rocqadm.inria.fr>
 <CE4686E599634111AF466F9C22CB2ED2@erratique.ch>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: 8bit
In-Reply-To: <CE4686E599634111AF466F9C22CB2ED2@erratique.ch>
Subject: Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422

Daniel Bünzli (2016/04/26 15:19 +0200):
> It comes from the fact that the hygiene rules of ocamlbuild were
> changed and that previous versions of menhir violate them.

Okay, this time I got it. Thanks.

Sébastien.