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 371997FE53 for ; Wed, 9 Mar 2016 18:16:12 +0100 (CET) IronPort-PHdr: 9a23:zLnyiB/CFLKmmP9uRHKM819IXTAuvvDOBiVQ1KB91OscTK2v8tzYMVDF4r011RmSDdqdu6wP2rSempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciC0Y/miaibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wyse/2swLESwTHwnpUBmEUiVxEChLG4hDhXr/+tyL7sqx23yzMbuPsSrVheCqr6e9ETwPvliwHNiIiuDXWlMNYja9WrVSmvRMpkN2cW52cKPcrJvCVRtgdX2cUG58JDyE= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-lb0-f174.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.217.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ivg@ieee.org designates 209.85.217.174 as permitted sender) identity=mailfrom; client-ip=209.85.217.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-lb0-f174.google.com) identity=helo; client-ip=209.85.217.174; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-lb0-f174.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BmAQCsWeBWi67ZVdFdhHoGvEmGDwKBQgc8EAEBAQEBAQEBEAEBAQgLCwkfMYItggsKAQEEEhEdAQE3AQ8LAwEHAwoqAgIhARIBBQEcBhMih20DEqJLgTE+MYpPZ4RBAQSGFQ2EPQEBAQEBBQEBAQEBARQGCoYOhEKCPYR9gTqOKokSiFgFgyCBdYFOFo0YRIU5gRSGDxEegQ83giEeHIFSHi4BiVIBAQE X-IPAS-Result: A0BmAQCsWeBWi67ZVdFdhHoGvEmGDwKBQgc8EAEBAQEBAQEBEAEBAQgLCwkfMYItggsKAQEEEhEdAQE3AQ8LAwEHAwoqAgIhARIBBQEcBhMih20DEqJLgTE+MYpPZ4RBAQSGFQ2EPQEBAQEBBQEBAQEBARQGCoYOhEKCPYR9gTqOKokSiFgFgyCBdYFOFo0YRIU5gRSGDxEegQ83giEeHIFSHi4BiVIBAQE X-IronPort-AV: E=Sophos;i="5.24,311,1454972400"; d="scan'208,217";a="206863889" Received: from mail-lb0-f174.google.com ([209.85.217.174]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Mar 2016 18:16:11 +0100 Received: by mail-lb0-f174.google.com with SMTP id k15so76121156lbg.0 for ; Wed, 09 Mar 2016 09:16:11 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=jxbouUHv1nd8lLu7jN+q8CFTncvJmAi0JEEFeFPkL/o=; b=CxOXXG3a+2d3CcPIur+d5dZSjRJtDrrBAL0GoAahS1ubJFFJCwSODaZ0zwazIeD/LR iP9qhgc198eZ6Vfsgidv9K7FPcH/6ZNEvU3RFjp5FcNYg2dHl712BrEUFKXRytITkHka CgZmx96qa2CQd/S+8OuIvBKop1ORNIE4o9Yl55yW7uaJYA8m9kAjxfqhSvEw3/VvsPhW MOfJ4vTymiwiOipWQgfzFM5tZgGNZx72bpTQH8OTwJWcnK2fAKwRUsaRD2x1P4nS8os0 QFSXxso3PhRnX4kMWAnlYEI7TVIMbPY3Zy4KKyWUkF3fyw1fy3257ARm+0XrQvekE2Bo lnwg== 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:date :message-id:subject:from:to:cc; bh=jxbouUHv1nd8lLu7jN+q8CFTncvJmAi0JEEFeFPkL/o=; b=SZ1J8ZjzBdseYVWaN7Kc4VSedlU+XD/hyQx0kfuts/k5RwR4p//EsSG63TeRaXRYOs xGhOhodsKGLmf3WITaBguBWZCIL6To9AnUvMJhZno8n5FFtAlQu9xBMyB2i7abr4zob+ DneFWNb3ewKsuR2Q7aySRPjQb+CLMRm8k0wQIxele2rXSTI64dk95kHVHA9Lx86Ql6Hw bnPla3mLybRgWwVNwr4Kj58eHFgEMHm3cXRBb/qNH4lwmQA7YBxVQks/U36bysfsTLbJ RWHC1vi+1x2d75wO+kw/zgBjJSAd7r0xYKmTdnaqt3HpgMPIPvBCz8UK9jVzR2orcCAK 4iEw== X-Gm-Message-State: AD7BkJKhgWUGcZ8DriIGiS72vSKd/SyBtIuba4LoVvA/DrlW6IBrM51CUuAaaLKwkI+UTFBohVq0LNLcz2WnlXiM MIME-Version: 1.0 X-Received: by 10.25.23.94 with SMTP id n91mr9701832lfi.3.1457543770508; Wed, 09 Mar 2016 09:16:10 -0800 (PST) Received: by 10.114.180.161 with HTTP; Wed, 9 Mar 2016 09:16:10 -0800 (PST) In-Reply-To: References: <20160203112009.5a536810@kiwi.local.tld> Date: Wed, 9 Mar 2016 12:16:10 -0500 Message-ID: From: Ivan Gotovchits To: Junsong Li Cc: Jeremie Dimino , ygrek , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a1140701cafb9a8052da0da6d Subject: Re: [Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions --001a1140701cafb9a8052da0da6d Content-Type: text/plain; charset=UTF-8 On Wed, Mar 9, 2016 at 10:56 AM, Junsong Li wrote: > > > I have 4.02.1 OCaml installed on my Mac. opam update; opam upgrade > Sexplib 113.24.0, is only available for ocaml >= 4.02.3 The same is true for all other core packages of this version and above. --001a1140701cafb9a8052da0da6d Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable


On Wed, Mar 9, 2016 at 10:56 AM, Junsong Li <ljs.darkfish@gmail.c= om> wrote:

I have 4.02.1 OCaml installed on my Mac. opam update; opam upgrade

=C2=A0Sexplib 113.24.0, is only available for o= caml >=3D 4.02.3
The same is true for all other core packages = of this version and above.

=C2=A0
--001a1140701cafb9a8052da0da6d--