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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 553F67EE4B for ; Mon, 30 Sep 2013 21:48:43 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pmundkur.ocaml@gmail.com) identity=pra; client-ip=209.85.160.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pmundkur.ocaml@gmail.com"; x-sender="pmundkur.ocaml@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of pmundkur.ocaml@gmail.com designates 209.85.160.44 as permitted sender) identity=mailfrom; client-ip=209.85.160.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pmundkur.ocaml@gmail.com"; x-sender="pmundkur.ocaml@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pb0-f44.google.com) identity=helo; client-ip=209.85.160.44; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pmundkur.ocaml@gmail.com"; x-sender="postmaster@mail-pb0-f44.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj4BAB3USVLRVaAsm2dsb2JhbABZxQUJgTQWDgEBAQEBBgsLCRQogiYBBToGARsdAQMMBgUhJQ8FDxEBBQEiiAYBAw+feIxSgwqEHwoZJw1kiQABBQyPRQeDH4EDA4k5jkUBkA9BhG0 X-IPAS-Result: Aj4BAB3USVLRVaAsm2dsb2JhbABZxQUJgTQWDgEBAQEBBgsLCRQogiYBBToGARsdAQMMBgUhJQ8FDxEBBQEiiAYBAw+feIxSgwqEHwoZJw1kiQABBQyPRQeDH4EDA4k5jkUBkA9BhG0 X-IronPort-AV: E=Sophos;i="4.90,1009,1371074400"; d="scan'208";a="34968111" Received: from mail-pb0-f44.google.com ([209.85.160.44]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 30 Sep 2013 21:48:41 +0200 Received: by mail-pb0-f44.google.com with SMTP id xa7so6034422pbc.17 for ; Mon, 30 Sep 2013 12:48:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=date:from:to:cc:subject:message-id:mail-followup-to:references :mime-version:content-type:content-disposition:in-reply-to :user-agent; bh=6SxFuHQOge2kcU7xp2PyCFr/+DPwVRaMwQ/ie5QW8Gw=; b=UQlUk0BYKFCK/hUPvHN3ZOfda2B414A6WyRLN4fWeUDJrxwpqRNBK+otqhiAqr4D/t fHoWIbISSdCgqCdEPxipuRtHercO/JbRjVoy6Mmeje+IDVGeTu6V9e//Z21lzy5p7OB1 7URkPB+wltrfgBmDuyzUHfUNm3nku58fCfGtkF9CobfD6vJPQgETWdaOGBGxl+7O3HYq 7x5RG4UeeZkh1mK+Xn0eH3MgGlieb7fRWBKt2hhmlhM4bzKLwF/HojjEwX5mYCjRhi2M lV0f42w9Nw11XV6aVV1JqNzxHUf5ORLPv9lJPV9rMSuLcXSqfIILeszfgBmgD9q132x6 p/Uw== X-Received: by 10.67.3.34 with SMTP id bt2mr29899415pad.3.1380570521026; Mon, 30 Sep 2013 12:48:41 -0700 (PDT) Received: from damage.csl.sri.com (visnet-24.csl.sri.com. [130.107.98.24]) by mx.google.com with ESMTPSA id ia5sm2338773pbc.42.1969.12.31.16.00.00 (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Mon, 30 Sep 2013 12:48:40 -0700 (PDT) Date: Mon, 30 Sep 2013 12:48:46 -0700 From: Prashanth Mundkur To: Thomas Gazagnaire Cc: Ocaml Mailing List Message-ID: <20130930194846.GA4937@damage.csl.sri.com> Mail-Followup-To: Thomas Gazagnaire , Ocaml Mailing List References: <99B6CE4F-D587-40CD-AD05-E4EFC6351CF7@ocamlpro.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <99B6CE4F-D587-40CD-AD05-E4EFC6351CF7@ocamlpro.com> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] [ANN] Beta release of OPAM 1.1.0 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. 0.02s opam-core/opamScript.cmo [failed] -- stderr of ocamlc.opt -- /usr/bin/ocamlc.opt: unknown option `-bin-annot'. --prashanth