From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <daniel.buenzli@erratique.ch>
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 077787EE7C
	for <caml-list@sympa.inria.fr>; Tue, 26 Apr 2016 14:39:25 +0200 (CEST)
IronPort-PHdr: 9a23:gUbB8xN+87AJoTa1dTgl6mtUPXoX/o7sNwtQ0KIMzox0KPX8rarrMEGX3/hxlliBBdydsKIUzbWH+Py/EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35TxiLH5p8KbSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskz4zAGG/WcdX2MhshtODwXf4QuyCqz8uCLhqutw3m+6PMv6QKo5Qxyj6b1qQVnmknFUGSQ+9TT7g8pxgaZsioantRh+i9rYaYeUOf44dL7Qe8EeREJMRNxYSy1YH476ZItZXLlJBvpRs4So/whGlhC5HwT5Qbq3kjI=
Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=daniel.buenzli@erratique.ch; spf=None smtp.mailfrom=daniel.buenzli@erratique.ch; spf=None smtp.helo=postmaster@smtp.webfaction.com
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=pra;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  daniel.buenzli@erratique.ch) identity=mailfrom;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="daniel.buenzli@erratique.ch";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp.webfaction.com) identity=helo;
  client-ip=74.55.86.74;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="daniel.buenzli@erratique.ch";
  x-sender="postmaster@smtp.webfaction.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0DpAACrYB9XkEpWN0pevxKBdIYIBAICgXQSAQEBAQEBAQERAQEBAQkLCQkhL0EOAYFdghUBAQQjVhALGgImAgJHEAYbiCIEsjiRQAEBAQEGAQEBARx8iXCBOIYHK4IrAQSYEI9oAYdaDoVXFI8cJwiCRQSBV4VbhA8BAQE
X-IPAS-Result: A0DpAACrYB9XkEpWN0pevxKBdIYIBAICgXQSAQEBAQEBAQERAQEBAQkLCQkhL0EOAYFdghUBAQQjVhALGgImAgJHEAYbiCIEsjiRQAEBAQEGAQEBARx8iXCBOIYHK4IrAQSYEI9oAYdaDoVXFI8cJwiCRQSBV4VbhA8BAQE
X-IronPort-AV: E=Sophos;i="5.24,536,1454972400"; 
   d="scan'208";a="175811573"
Received: from mail6.webfaction.com (HELO smtp.webfaction.com) ([74.55.86.74])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 26 Apr 2016 14:39:23 +0200
Received: from [172.20.10.2] (30.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch [178.197.234.30])
	by smtp.webfaction.com (Postfix) with ESMTP id 4FC4220B1753;
	Tue, 26 Apr 2016 12:39:20 +0000 (UTC)
Date: Tue, 26 Apr 2016 14:39:17 +0200
From: =?utf-8?Q?Daniel_B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
To: =?utf-8?Q?S=C3=A9bastien_Hinderer?= <Sebastien.Hinderer@inria.fr>
Cc: caml-list@inria.fr
Message-ID: <F313772A0C714890AC5EA1EF1D776EFE@erratique.ch>
In-Reply-To: <20160426122742.GA2423@pl-59055.rocqadm.inria.fr>
References: <20160426122742.GA2423@pl-59055.rocqadm.inria.fr>
X-Mailer: sparrow 1.6.4 (build 1178)
MIME-Version: 1.0
Content-Type: text/plain; charset="utf-8"
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
Subject: Re: [Caml-list] opam switch 4.03.0: can't install menhir 20140422

Only 20160303 will compile in 4.03.0. This release was needed to fix the build system because of the new hygiene rules of ocamlbuild which was split off the compiler in 4.03.0. 

Best, 

Daniel