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 417177EC6E for ; Sun, 26 Jan 2014 13:00:21 +0100 (CET) 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=74.125.82.50; 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 74.125.82.50 as permitted sender) identity=mailfrom; client-ip=74.125.82.50; 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-wg0-f50.google.com) identity=helo; client-ip=74.125.82.50; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wg0-f50.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq8GAJL45FJKfVIylGdsb2JhbABag0SDM7l2gQQWDgEBAQEHCwsJEiqCHAkBAQEDAUABGx0BAwELBgUDAQc7IxEBBQEcBogDAQMJCAQBCJ9HjFyDCZIjChknDWSEchEBAQQMjn0EB4MkgRQEmCeGR4lqQYRZ X-IPAS-Result: Aq8GAJL45FJKfVIylGdsb2JhbABag0SDM7l2gQQWDgEBAQEHCwsJEiqCHAkBAQEDAUABGx0BAwELBgUDAQc7IxEBBQEcBogDAQMJCAQBCJ9HjFyDCZIjChknDWSEchEBAQQMjn0EB4MkgRQEmCeGR4lqQYRZ X-IronPort-AV: E=Sophos;i="4.95,724,1384297200"; d="scan'208,217";a="46150143" Received: from mail-wg0-f50.google.com ([74.125.82.50]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 26 Jan 2014 12:59:53 +0100 Received: by mail-wg0-f50.google.com with SMTP id l18so4587507wgh.29 for ; Sun, 26 Jan 2014 03:59:53 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=content-type:mime-version:subject:from:in-reply-to:date:cc :message-id:references:to; bh=ubKsoG8mRbfBKNZsjZLQ4bufweg2dhTxi5UxPkSrsyE=; b=AaT6wJTK4e3agfggBkWloO/J0RpOixpMQajys5j8CLBzysZ1TkNTgdrd8ZRd40GUdA Ys+oS9hZKKZgLIqITyE692F/6gQd3X5s+jnbqQTrBWhzmf40D+72nDq4yV/gdbT/1sxx C6UoDf4scrfK85oA8R4fQ8FKn/ZggbvplUb232XbTyRXSBUBbG23DnulRdDDlFLVAfLI xA7+sRFp0xmbkxmpMORUgSBFR56PKokL8JilxOG3Sg9XZiSTpVlZ6UGEqaMPzvqLBq+B 9+jyjd05giPPmBMiufD7uqhAI7p+ncyqhH8vhODaJQXc+6jQT1RIHSOMvBr6qdZxIVr2 KhCw== X-Received: by 10.180.182.199 with SMTP id eg7mr8833287wic.13.1390737592989; Sun, 26 Jan 2014 03:59:52 -0800 (PST) Received: from [192.168.0.11] (cpc25-cmbg14-2-0-cust121.5-4.cable.virginm.net. [213.106.112.122]) by mx.google.com with ESMTPSA id bj3sm16799848wjb.14.2014.01.26.03.59.50 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Sun, 26 Jan 2014 03:59:51 -0800 (PST) Content-Type: multipart/alternative; boundary="Apple-Mail=_2E5E348E-5E75-462C-BE54-519E0A81942F" Mime-Version: 1.0 (Mac OS X Mail 7.1 \(1827\)) From: Thomas Gazagnaire In-Reply-To: Date: Sun, 26 Jan 2014 11:59:49 +0000 Cc: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com>, Kakadu , Caml List Message-Id: <0ED00554-008F-4EDF-B971-1F1CF36D9D32@gmail.com> References: <52E39A70.7040109@gmail.com> <52E3A5EE.8040209@gmail.com> To: Ashish Agarwal X-Mailer: Apple Mail (2.1827) Subject: Re: [Caml-list] what is the expected output of "opam list"? --Apple-Mail=_2E5E348E-5E75-462C-BE54-519E0A81942F Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=iso-8859-1 > That used to be the behavior, so the documentation is out of date. Indeed and I've just fixed that error [1]. If you see any other issues in the docs, please feel free to correct them: = you can simply edit the wik[2]i and the change will propagate to the websit= e automatically. Thomas [1] https://github.com/ocaml/opam/wiki/Basic_Usage [2] https://github.com/ocaml/opam/wiki= --Apple-Mail=_2E5E348E-5E75-462C-BE54-519E0A81942F Content-Transfer-Encoding: 7bit Content-Type: text/html; charset=iso-8859-1
That used to be the behavior, so the documentation is out of date.

Indeed and I've just fixed that error [1].

If you see any other issues in the docs, please feel free to correct them: you can simply edit the wik[2]i and the change will propagate to the website automatically.

Thomas

--Apple-Mail=_2E5E348E-5E75-462C-BE54-519E0A81942F--