From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 7B911BC57 for ; Thu, 16 Dec 2010 17:36:07 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvsEADfPCU3VuiYS/2dsb2JhbACkOHPBYw2FPQQ X-IronPort-AV: E=Sophos;i="4.59,355,1288566000"; d="scan'208";a="84094772" Received: from solaria.dimino.org ([213.186.38.18]) by mail2-smtp-roc.national.inria.fr with ESMTP; 16 Dec 2010 17:36:07 +0100 Received: from aurora (localhost.localdomain [127.0.0.1]) by solaria.dimino.org (Postfix) with ESMTP id 0FABC8004E; Thu, 16 Dec 2010 17:36:07 +0100 (CET) Received: by aurora (Postfix, from userid 1000) id 6DCCE3FE09; Thu, 16 Dec 2010 17:36:06 +0100 (CET) Date: Thu, 16 Dec 2010 17:36:06 +0100 From: =?iso-8859-1?Q?J=E9r=E9mie?= Dimino To: Sylvain Le Gall Cc: caml-list@inria.fr Subject: Re: [Caml-list] Re: [ANN] OBus 1.1 Message-ID: <20101216163606.GD2911@aurora> References: <20101213162232.GH27155@aurora> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: User-Agent: Mutt/1.5.20 (2009-06-14) X-Spam: no; 0.00; wrote:01 caml-list:01 thu:05 dec:05 file:11 think:13 should:13 add:14 2010:83 thanks:17 1.1:19 sylvain:22 way:25 oasis:26 know:27 On Thu, Dec 16, 2010 at 04:23:21PM +0000, Sylvain Le Gall wrote: > I think Jeremie should add: > > OASISVersion: >= 3.11.2 > > to its _oasis file. Yes, i did not know this option (it is OCamlVersion by the way), thanks. -- Jérémie