From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 D0B3981799 for ; Tue, 23 Jul 2013 22:02:38 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of yminsky@gmail.com) identity=pra; client-ip=209.85.212.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@gmail.com"; x-sender="yminsky@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of yminsky@gmail.com designates 209.85.212.177 as permitted sender) identity=mailfrom; client-ip=209.85.212.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@gmail.com"; x-sender="yminsky@gmail.com"; 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-wi0-f177.google.com) identity=helo; client-ip=209.85.212.177; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="yminsky@gmail.com"; x-sender="postmaster@mail-wi0-f177.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am4CAMjg7lHRVdSxk2dsb2JhbABbgztEDK48kiOBCwgWDgEBAQEHCwsJFAQkgiQBAQULIBUBGxILAQMMBgULDQ0hIQEBDAEEAQUBAwEGEgYTEodrAQECDwyaUYxPCYJ2hE0KGQQKGQMKZId0AQUMjQaCODMHhAADlXaBaYEphXuFA4NBFilGhBAg X-IPAS-Result: Am4CAMjg7lHRVdSxk2dsb2JhbABbgztEDK48kiOBCwgWDgEBAQEHCwsJFAQkgiQBAQULIBUBGxILAQMMBgULDQ0hIQEBDAEEAQUBAwEGEgYTEodrAQECDwyaUYxPCYJ2hE0KGQQKGQMKZId0AQUMjQaCODMHhAADlXaBaYEphXuFA4NBFilGhBAg X-IronPort-AV: E=Sophos;i="4.89,730,1367964000"; d="scan'208";a="27068888" Received: from mail-wi0-f177.google.com ([209.85.212.177]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 22:02:38 +0200 Received: by mail-wi0-f177.google.com with SMTP id ey16so3479504wid.16 for ; Tue, 23 Jul 2013 13:02:38 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:reply-to:in-reply-to:references:date:message-id :subject:from:to:cc:content-type:content-transfer-encoding; bh=5iA4pioEmmdJp5J66153RE7YnLsjhHEIF4IPeLJapW8=; b=jyBBJWrK39eC9y0nbJqSKerZGlMZlqvWeWn1HVmwLjspIeFtb0waVPw/GH/I1AXEGz PFiJeYXyvVttszmBBsVPlXjpGpkvX4ooQXDOvUYu/5r6ZmIHGGV0T+7wIJP4Xojr7Stu CPH3eLssVrobopRaGlkonJlrMli7eyQXLy/lVH8iiePQKY72AP7wz1VBOlOnPbxpsdeW yzZ7CLqfE5jJel6qTa7FsdfBGGap4B9dEQjTufATmv2U9v7/t3rR7vHm9xWleeoi5twY AZYKOKLp3WXQSzCygNCKGCqlp70Na1ApSZAJOrN9XbZq8+cKinnOTxvPqYhooshOMQg7 IpGw== MIME-Version: 1.0 X-Received: by 10.180.211.171 with SMTP id nd11mr252914wic.17.1374609757966; Tue, 23 Jul 2013 13:02:37 -0700 (PDT) Received: by 10.194.174.105 with HTTP; Tue, 23 Jul 2013 13:02:37 -0700 (PDT) Reply-To: yminsky@gmail.com In-Reply-To: References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> <0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com> Date: Tue, 23 Jul 2013 16:02:37 -0400 Message-ID: From: Yaron Minsky To: Pierre-Etienne Meunier Cc: Yaron Minsky , O Caml Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Subject: Re: [Caml-list] Re: [Godi-list] GODI is shutting down My apologies for misunderstanding your post. Your points about centralization are well taken, and I think the git approach used by opam is a nice compromise: making it easy to have a centralized source, without requiring it. y On Tue, Jul 23, 2013 at 3:49 PM, Pierre-Etienne Meunier wrote: > > Em 23/07/2013, =E0s 12:38, Yaron Minsky escreveu: > >> On Tue, Jul 23, 2013 at 11:32 AM, Pierre-Etienne Meunier wrote: >>> Hi, >>> >>> I'm only using my os' package manager at this time, so I am not part of= the troll. >>> But I find that Gerd made an interesting point, a few mails ago: >>> >>>> So far I've removed Core from GODI because it misses QA standards, and >>>> have no plans to add it again. >> >> I was not planning on responding substantively to Gerd's point about >> Core, but I don't want to let a false impression stand. > > > I am sorry if I did not make myself clear: I was not trying to say anythi= ng about Core, nor Jane Street, nor you! > > My point is, I am scared by internet dictators, and, whether or not Core = is a great library, I believe that no one, except maybe its authors, should= have the right to remove it from this fantastic open public space that the= internet is, and prevent its distribution. This is also what scares me whe= n "github-friendly" is given as an argument for something. > > Pierre > > > ps: IMHO, as one of its occasional users, Core *is* a great library. Than= ks for sharing this colossal and amazing amount of work, Yaron. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs