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 CAB8B7F61D for ; Wed, 26 Oct 2016 14:12:54 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=yallop@gmail.com; spf=Pass smtp.mailfrom=yallop@gmail.com; spf=None smtp.helo=postmaster@mail-qk0-f176.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of yallop@gmail.com) identity=pra; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of yallop@gmail.com designates 209.85.220.176 as permitted sender) identity=mailfrom; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="yallop@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-qk0-f176.google.com) identity=helo; client-ip=209.85.220.176; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="yallop@gmail.com"; x-sender="postmaster@mail-qk0-f176.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ArFhZyB3iVgWg/eXVsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?segRIvad9pjvdHbS+e9qxAeQG96KsbQa2qGK6ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMz?= =?us-ascii?q?fbWvXNCDxJjtn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM8?= =?us-ascii?q?5fxGdvOE7B102kvpT41NdZ/i9Ro/Ms8dJbGeW/JvxgDO8QMDNzHXo84sbstAKL?= =?us-ascii?q?Zya1y10zf19exhRSCg7O6xDhGJ38qCb8uedn8CicJ8z/C74uD2eM9aBuHT3lki?= =?us-ascii?q?oCJnYI+WXTjdQ42LNSpBamvzRwxofVZMeeM/8oLfCVRs8TWWcUBpUZbCdGGI7p?= =?us-ascii?q?KtJXV+c=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C+AQC2nBBYhrDcVdFcHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgn8BAQEBAXV9B40uln6ITItzggkphW8BCQKBfQc/FAEBAQEBAQE?= =?us-ascii?q?BAQEBEgEBAQgLCwkdMIIzBAEVAQSCEQEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBE?= =?us-ascii?q?QEFARwGEyKIFwEDFw6lV4EyPzKLRoFrgl8Fg1sKGScNU4MdAQEBAQEBBAEBAQE?= =?us-ascii?q?BGgIBBRB3iguHS4JbBZoWhiyJdIFYAY4rjQqCPxMegREegQYGCIMKIIFePTSHH?= =?us-ascii?q?IFKAQEB?= X-IPAS-Result: =?us-ascii?q?A0C+AQC2nBBYhrDcVdFcHAEBBAEBCgEBFwEBBAEBCgEBgn8?= =?us-ascii?q?BAQEBAXV9B40uln6ITItzggkphW8BCQKBfQc/FAEBAQEBAQEBAQEBEgEBAQgLC?= =?us-ascii?q?wkdMIIzBAEVAQSCEQEBBBIRHQEbHQEDDAYFCw0CAiYCAiIBEQEFARwGEyKIFwE?= =?us-ascii?q?DFw6lV4EyPzKLRoFrgl8Fg1sKGScNU4MdAQEBAQEBBAEBAQEBGgIBBRB3iguHS?= =?us-ascii?q?4JbBZoWhiyJdIFYAY4rjQqCPxMegREegQYGCIMKIIFePTSHHIFKAQEB?= X-IronPort-AV: E=Sophos;i="5.31,550,1473112800"; d="scan'208";a="198233706" Received: from mail-qk0-f176.google.com ([209.85.220.176]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Oct 2016 14:12:53 +0200 Received: by mail-qk0-f176.google.com with SMTP id n189so5019747qke.0; Wed, 26 Oct 2016 05:12:53 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc; bh=u/6y41FnPM8nLlV6slctA47AgbyauFxVOwKOlxcn6/g=; b=fnLzHYRua6blTJ1vuATyajF4KYyCC6VrL8yjS8C12S+XlIgIklkWfDBl/CUZniPFZb 9plQcY8avJ0NleJ8vywumgP5qAVRQlVIiKFb5aQqAVvA4dmpK36qfdR8QSfKwR4V+HWN sKsdilVrRr2wYPIQ+HVoEeg3726LYzLBWUewp7T0h0LKtgIlubbxSt5WD/+S/uQ5XPXs k4ByeD1edim7X7ChZGEFmidq2UHMPKAEW7mvrIUdKHACMEMvh0pe0dGYeGLRrOBNFhND QXFptR7/V4ajlyvLaLIOj3t9jKsZwTcYcfu55Ps2DnRgjK9PgS3sIQsIASZs2+TXgEYP LcRA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=u/6y41FnPM8nLlV6slctA47AgbyauFxVOwKOlxcn6/g=; b=WYxNcrwlrsFiyOR9eBxTUn1UAlFBAsm6cAOVJU91V0LhtG98lm33LllKYRX0FoYtdQ kv6dmR1Po2YTB4gvnrOhGSyAFVG7Zpsc4rwv4MylCzl+xvPj2uNSsqcxAApHK7BD1k/a K4ga/9Vuzf2L0N6xPFqObTPNzkDGk50VtRwWxq/hVVJhb8KwaudLjxBnSWl4iA7DkL10 hmJVUJAaV2jvjQQx+DtzCJARCcI8f8GfDC2W2HaDyZtfSwmPyTK8GFkF+ouMGy7S0H1Q CdBjf++15+/ZOmzfIk2AvxUfHtGTtzKMbCTSzDMPaoMM8YjV2ULOXlH31MNGaNdtV3l5 iEzA== X-Gm-Message-State: ABUngvfxnyl//1kb8hKSxTY+OAnkUoC/7vv87xRGs1+oHCO2nT8Ohn586Vf5V9E+zxLogbJKtuBlWexW9PzOKw== X-Received: by 10.55.201.21 with SMTP id q21mr1414796qki.242.1477483972175; Wed, 26 Oct 2016 05:12:52 -0700 (PDT) MIME-Version: 1.0 Received: by 10.55.104.212 with HTTP; Wed, 26 Oct 2016 05:12:51 -0700 (PDT) In-Reply-To: <5f3ad604-7206-19f4-c2b3-38a86ade74a0@inria.fr> References: <5f3ad604-7206-19f4-c2b3-38a86ade74a0@inria.fr> From: Jeremy Yallop Date: Wed, 26 Oct 2016 13:12:51 +0100 Message-ID: To: Francois BERENGER Cc: Caml List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] since when does ocamlc -v tells where is the stdlib installed? On 26 October 2016 at 13:07, Francois BERENGER wrote: > # ocamlc -v > The OCaml compiler, version 4.03.0 > Standard library directory: /home/berenger/.opam/4.03.0/lib/ocaml > --- > > Was it always there or is this a recent addition ? It was added in 1997: https://github.com/ocaml/ocaml/commit/7e82c02e#diff-670301446638aae50a85a65632912f86R49