From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 1C5E77EE6B for ; Fri, 29 Nov 2013 09:22:45 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of superbobry@gmail.com) identity=pra; client-ip=209.85.160.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="superbobry@gmail.com"; x-sender="superbobry@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of superbobry@gmail.com designates 209.85.160.45 as permitted sender) identity=mailfrom; client-ip=209.85.160.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="superbobry@gmail.com"; x-sender="superbobry@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-pb0-f45.google.com) identity=helo; client-ip=209.85.160.45; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="superbobry@gmail.com"; x-sender="postmaster@mail-pb0-f45.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwDAMRNmFLRVaAtlGdsb2JhbABZgz9TgjlBrQ+IT4ETCBYOAQEBAQcLCwkSKoIcCQEBBAEjHQEbHQEDAQsGBQMBBzcCAiIBEQEFARwGE4duAQMJBg2jMIwGU4MJhCMKGScNZIceEQEFDI0FgXcHgmuBSAOJPI5YgTCOdhgphFo3 X-IPAS-Result: AmwDAMRNmFLRVaAtlGdsb2JhbABZgz9TgjlBrQ+IT4ETCBYOAQEBAQcLCwkSKoIcCQEBBAEjHQEbHQEDAQsGBQMBBzcCAiIBEQEFARwGE4duAQMJBg2jMIwGU4MJhCMKGScNZIceEQEFDI0FgXcHgmuBSAOJPI5YgTCOdhgphFo3 X-IronPort-AV: E=Sophos;i="4.93,796,1378850400"; d="scan'208";a="38491268" Received: from mail-pb0-f45.google.com ([209.85.160.45]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Nov 2013 09:22:44 +0100 Received: by mail-pb0-f45.google.com with SMTP id rp16so14048083pbb.32 for ; Fri, 29 Nov 2013 00:22:42 -0800 (PST) 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:content-type; bh=AdO7WYU06oBW94NXwWk8A9OMH9yqOLy21a9bo09GiwE=; b=HadcSYd3eMyQmwkfUgTS4zQwsPPNdPW79bdU3++D4V3Kx8hmZ+pKp2KbXGfIIfsFr7 3fdDGl+cSsJzSR6+BhjSsMvXSr5f4snzVK5h23cYNs9l8qqjrhm7IB7hDQ2Q1V3Xnlbm k6NQP8pKhVDOL4qWowy8xP09/rhnIbR/KrleRqtNFaWFUOay9QKU/NhnasjJMjRcV4E6 5ZSvNdfeD0LhnXi3CDAt0jgVgnT5JWbStxLumfjGl+jKBu1sVq0RZpubyt+nWs4lZORP XAbogHUK094SPR0RzdmZXMz7sUlLRUS9gDy1RNeX1WHZgpUerUhDXq7a4nRUfaaYTAT8 ohHw== X-Received: by 10.68.52.231 with SMTP id w7mr14910381pbo.19.1385713362520; Fri, 29 Nov 2013 00:22:42 -0800 (PST) MIME-Version: 1.0 Received: by 10.70.3.97 with HTTP; Fri, 29 Nov 2013 00:22:02 -0800 (PST) In-Reply-To: <5297E326.4090402@riken.jp> References: <20131125031021.384845a8@kiwi.local.tld> <20131125191546.08a22f18@kiwi.local.tld> <529347C2.3000202@riken.jp> <20131128195702.GA24153@annexia.org> <5297E326.4090402@riken.jp> From: Sergei Lebedev Date: Fri, 29 Nov 2013 12:22:02 +0400 Message-ID: To: Francois Berenger Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=bcaec5430bcabbd44e04ec4c8829 Subject: Re: [Caml-list] extlib 1.6.0 released --bcaec5430bcabbd44e04ec4c8829 Content-Type: text/plain; charset=UTF-8 On Fri, Nov 29, 2013 at 4:43 AM, Francois Berenger wrote: > Other big libraries did that (Core some time ago, for example). That's only partly true. Even though Core is not as monolithic as it used to be, Core_kernel alone requires [*] almost a dozen of libraries. [*] http://opam.ocaml.org/pkg/core_kernel/109.47.00/ --bcaec5430bcabbd44e04ec4c8829 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

= On Fri, Nov 29, 2013 at 4:43 AM, Francois Berenger <berenger@riken.jp&= gt; wrote:
Other big libraries did that (Core some time ago, for exam= ple).

That's only partly true. Even though Core is not as monolithi= c as it used to be, Core_kernel alone requires [*] almost a dozen of librar= ies.

--bcaec5430bcabbd44e04ec4c8829--