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 515B07EE4B for ; Mon, 30 Sep 2013 23:09:10 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=209.85.212.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 209.85.212.179 as permitted sender) identity=mailfrom; client-ip=209.85.212.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.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@mail-wi0-f179.google.com) identity=helo; client-ip=209.85.212.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wi0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4BAFfnSVLRVdSzm2dsb2JhbABZxQ6BNBYOAQEBAQEGCwsJFCiCJQEBBAE6BgE4AQMMAQUFDjghEwEFARwGE4d0AwkGBJ9zj1yERScNiWQBBQyMWoI4g1mBAwOFJJByiByFcCKDSkGBYoJt X-IPAS-Result: Aj4BAFfnSVLRVdSzm2dsb2JhbABZxQ6BNBYOAQEBAQEGCwsJFCiCJQEBBAE6BgE4AQMMAQUFDjghEwEFARwGE4d0AwkGBJ9zj1yERScNiWQBBQyMWoI4g1mBAwOFJJByiByFcCKDSkGBYoJt X-IronPort-AV: E=Sophos;i="4.90,1010,1371074400"; d="scan'208";a="28608728" Received: from mail-wi0-f179.google.com ([209.85.212.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Sep 2013 23:09:09 +0200 Received: by mail-wi0-f179.google.com with SMTP id hm2so4592861wib.0 for ; Mon, 30 Sep 2013 14:09:09 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:content-type:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=85ukXp5pvnkucR46M00DSwL4zsL9JkE4KzI/6aXBpws=; b=H8GGLSXRwkhKoD//zWQR4g9eDvDXE9jGfh6czsdtI9/i81QWfqvEfszuHJPix0x74p ZyAAQwmUYh5KEgz/d1XsMPC5OFWOSFwdMMe9ymmK0YripU2nc99uGDqt3q19VGIMxG4P QYTnLqTRdopHNUccpqH/Ak/1OXGBfvTejSSwfNlSoMXR1UwjUcsr5cS8ZbPaPfZXkIg4 nlxG+R3ZZGy85Bu1UWM/pAIwwZPZsHn8HM2GRio9rq2hHPNgprU4Zu8igaOdhoFJlyUq cHuJNqwKEk/pgfHU31mP+iiiMkGBwxk2m+YUnotJo5rR26bTROv0dS8J3tqUtecY6eNX NJug== X-Received: by 10.194.71.72 with SMTP id s8mr3477505wju.52.1380575349675; Mon, 30 Sep 2013 14:09:09 -0700 (PDT) Received: from [192.168.0.12] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPSA id b13sm29690138wic.9.1969.12.31.16.00.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 30 Sep 2013 14:09:09 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) From: Thomas Gazagnaire In-Reply-To: <20130930194846.GA4937@damage.csl.sri.com> Date: Mon, 30 Sep 2013 23:09:05 +0200 Cc: Ocaml Mailing List Content-Transfer-Encoding: quoted-printable Message-Id: References: <99B6CE4F-D587-40CD-AD05-E4EFC6351CF7@ocamlpro.com> <20130930194846.GA4937@damage.csl.sri.com> To: Prashanth Mundkur X-Mailer: Apple Mail (2.1510) Subject: Re: [Caml-list] [ANN] Beta release of OPAM 1.1.0 This has been fixed in `master` (and thus will be fixed in the final releas= e which should happen at the end of the week if no blocking bug pop-ups). Best, Thomas On Sep 30, 2013, at 9:48 PM, Prashanth Mundkur w= rote: >=20 > FYI, the source seems to require ocaml 4.0+ due to the use of > bin-annot. It would be nice to support 3.12 too. >=20 > 0.02s opam-core/opamScript.cmo [failed] > -- stderr of ocamlc.opt -- > /usr/bin/ocamlc.opt: unknown option `-bin-annot'. >=20 > --prashanth