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 8CBE07FE53 for ; Wed, 9 Mar 2016 18:31:45 +0100 (CET) IronPort-PHdr: 9a23:rE/m3RM+Wzp7SY3Z294l6mtUPXoX/o7sNwtQ0KIMzox0KPv6rarrMEGX3/hxlliBBdydsKIbzbqI+PG+EUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35vxh775qsObSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t4XXskziUwKJrlQbTmIImRpJHxONuBDkUb/wvyb38O1n13/JE9fxSOUWRDK56KFkADvpwHMDNSV//GjNicJxl6Jzrxeophg5yInRNtLGfMFid7/QKItJDVFKWdxcAmkYWtux Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ljs.darkfish@gmail.com; spf=Pass smtp.mailfrom=ljs.darkfish@gmail.com; spf=None smtp.helo=postmaster@mail-pf0-f181.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ljs.darkfish@gmail.com) identity=pra; client-ip=209.85.192.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ljs.darkfish@gmail.com designates 209.85.192.181 as permitted sender) identity=mailfrom; client-ip=209.85.192.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="ljs.darkfish@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-pf0-f181.google.com) identity=helo; client-ip=209.85.192.181; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ljs.darkfish@gmail.com"; x-sender="postmaster@mail-pf0-f181.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DhBACjXeBWcrXAVdFdhHoGpmUBAQEBBpNtgW2GDwKBQgc5EwEBAQEBAQEBEAEKCwwIHzFBDgGBXYILCQEBAQMBEhEdARsdAQMMBgUDAQcDCioCAiEBAREBBQEcBhMih2wBAwoIokuBMT4xizaBaoJXhU8KGScNUYNsAQEBAQEFAQEBAQEBFAECAwYEBYVBhQqCPYR9gToFjiWEVoQ8iFgFgyCBdYFkjRhEhTmBFIYPER6BDyEBgjY6gVUbLoJHhwwBAQE X-IPAS-Result: A0DhBACjXeBWcrXAVdFdhHoGpmUBAQEBBpNtgW2GDwKBQgc5EwEBAQEBAQEBEAEKCwwIHzFBDgGBXYILCQEBAQMBEhEdARsdAQMMBgUDAQcDCioCAiEBAREBBQEcBhMih2wBAwoIokuBMT4xizaBaoJXhU8KGScNUYNsAQEBAQEFAQEBAQEBFAECAwYEBYVBhQqCPYR9gToFjiWEVoQ8iFgFgyCBdYFkjRhEhTmBFIYPER6BDyEBgjY6gVUbLoJHhwwBAQE X-IronPort-AV: E=Sophos;i="5.24,311,1454972400"; d="scan'208,217";a="167865699" Received: from mail-pf0-f181.google.com ([209.85.192.181]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 09 Mar 2016 18:31:27 +0100 Received: by mail-pf0-f181.google.com with SMTP id u190so16571910pfb.3 for ; Wed, 09 Mar 2016 09:31:27 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc; bh=wxoZ+qUsmpnuBpcBp6EdM0IY4wMCZwv2UUQRpFsOTY8=; b=fzXGICtcDJ1NBckUduR7ZZtWOUpI5FoTfTjzT9kQpyCY3GKTAolTU54k9tIoRqeFyv M3++lwvndvtlAFXGRuPOhYDQ/lrSsjMExWbfFcmG9Mt1YO3mpS+ad9tW794gGtGZNlNn uI4Mc8y4wlPhweFfnhxrH+bbzpGWPb3uDSg4HaSMjg1puSuYOtqu52cIM65+y1Mrz+2K zJ90GxzBPumBe7ledrpu6FG5OWvvc45MO/NUeeQwDmLci0SbsQwcCLipeydk55jenOv0 PCSgBivnftIxTvK6GKo10y+nID3rg4jOZ0ZqNtsV3K2R7tXyRIgWxfG4SlM2ft8SVdjn d6Og== 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=wxoZ+qUsmpnuBpcBp6EdM0IY4wMCZwv2UUQRpFsOTY8=; b=DnaDUbtSQ/ShgZCo/IZCCVPEcI7Oxp7bBxEQ04gqBMegblMTx4lyDeELvY7UN0Luvu JEs+d0mekA1UZXc5C0/FAm9NpKigpeO4iS1UZzWhvf4wmotrFegAabigFWedm2bxAbmT 4vAywDp5cR+zD2y9pgqAY5tbZM/qtuzx3n0etjc4zdQ/CK452WfmZIB2dzDqBI9M6ARk g9KKFoKVnNbgB6HYjC/tmdCpekOKjQVhkIOREg0Zl7WIfAAnyIOxxPs/JgiqQr1x0+e+ m9oXcetxWQA1kDcp3mD0tYgqn/8MeSHwo1GikDhjndCLy5caIpREjM4Bqc7XBuceBrdy HPXA== X-Gm-Message-State: AD7BkJJ0y57aw/HzCskaQ4/JezaM9GAihwjUnMffYKFMRr7PKQKncZYULNyUkmXG+5jqqjILMWICaxFbuF32PA== MIME-Version: 1.0 X-Received: by 10.98.13.77 with SMTP id v74mr44400659pfi.162.1457544685881; Wed, 09 Mar 2016 09:31:25 -0800 (PST) Received: by 10.66.2.167 with HTTP; Wed, 9 Mar 2016 09:31:25 -0800 (PST) In-Reply-To: References: <20160203112009.5a536810@kiwi.local.tld> Date: Wed, 9 Mar 2016 09:31:25 -0800 Message-ID: From: Junsong Li To: Ivan Gotovchits Cc: Jeremie Dimino , ygrek , "caml-list@inria.fr" Content-Type: multipart/alternative; boundary=001a114951ac3f1038052da111ed Subject: Re: [Caml-list] Package renamings for sexplib, bin_prot and a few other camlp4 syntax extensions --001a114951ac3f1038052da111ed Content-Type: text/plain; charset=UTF-8 Thanks. On Wednesday, March 9, 2016, Ivan Gotovchits wrote: > > > 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. > > > --001a114951ac3f1038052da111ed Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Thanks.=C2=A0

On Wednesday, March 9, 2016, Ivan Gotovch= its <ivg@ieee.org> wrote:

=
On Wed, Mar 9, 2016 at 10:56 AM, Junsong Li = <ljs.darkfish@gmail.com&= gt; 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
--001a114951ac3f1038052da111ed--