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 8D0868179A for ; Tue, 23 Jul 2013 17:32:08 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of pierreetienne.meunier@gmail.com) identity=pra; client-ip=209.85.192.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pierreetienne.meunier@gmail.com"; x-sender="pierreetienne.meunier@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of pierreetienne.meunier@gmail.com designates 209.85.192.180 as permitted sender) identity=mailfrom; client-ip=209.85.192.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pierreetienne.meunier@gmail.com"; x-sender="pierreetienne.meunier@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-pd0-f180.google.com) identity=helo; client-ip=209.85.192.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="pierreetienne.meunier@gmail.com"; x-sender="postmaster@mail-pd0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjICAEuh7lHRVcC0m2dsb2JhbABaxEOBEhYOAQEBAQEGCwsJFCiCJAEBBAE6BgEbHgMBCwUBBQs7IxEBBQEcBiSHbAEDCQaae4xPgn+EbAoZJw1kh3QBBQyPPjqDEm4DiSqONYYjiUU/hFo X-IPAS-Result: AjICAEuh7lHRVcC0m2dsb2JhbABaxEOBEhYOAQEBAQEGCwsJFCiCJAEBBAE6BgEbHgMBCwUBBQs7IxEBBQEcBiSHbAEDCQaae4xPgn+EbAoZJw1kh3QBBQyPPjqDEm4DiSqONYYjiUU/hFo X-IronPort-AV: E=Sophos;i="4.89,728,1367964000"; d="scan'208";a="22031681" Received: from mail-pd0-f180.google.com ([209.85.192.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 23 Jul 2013 17:32:07 +0200 Received: by mail-pd0-f180.google.com with SMTP id 10so8202170pdi.11 for ; Tue, 23 Jul 2013 08:32:05 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=subject:mime-version:content-type:from:x-priority:in-reply-to:date :content-transfer-encoding:message-id:references:to:x-mailer; bh=2ncOq+9s6IBo9p1+IUQAmHSDDBjYg6DRqOWf7C9D+98=; b=UMCe5EOXVKFmYy0PPYWXVuTj+cE1Jxce/VfkrtYObmMLY9X55UbLLW1YwxapoIjgRH H+akeFgaNaYihPhwgYvazI7NsQygO+ITaiSqk27q4E4yLRJg8uUobwQ33HaS0gqxgHd+ 29EWbQN0wda2wYzqH1wSpF6ig0cnPizcpXiLtI4Y0DF+6hyG0leVzJ4BLn0hqWzJ0uSE ZRMsdIaOE/YDUnDc8aWdLZuu/RtiE1Fmtr4CQJlbxLq31lJhbj7dde51gMYrUxq5s8r5 AvILh7+83HuCPme8JX53aKRlsLPhO0eyb01L0SjZiACG4x4MNHxYrp1XLeLk5dj14g7B MNlQ== X-Received: by 10.66.242.17 with SMTP id wm17mr13205807pac.102.1374593525624; Tue, 23 Jul 2013 08:32:05 -0700 (PDT) Received: from [192.168.1.148] (71-94-133-228.static.mtpk.ca.charter.com. [71.94.133.228]) by mx.google.com with ESMTPSA id lk9sm45994283pab.2.2013.07.23.08.32.04 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Tue, 23 Jul 2013 08:32:04 -0700 (PDT) Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii From: Pierre-Etienne Meunier X-Priority: 3 (Normal) In-Reply-To: Date: Tue, 23 Jul 2013 08:32:02 -0700 Content-Transfer-Encoding: quoted-printable Message-Id: <0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com> References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de> To: O Caml X-Mailer: Apple Mail (2.1085) Subject: Re: [Caml-list] Re: [Godi-list] GODI is shutting down 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. >=20 > Gerd A part of the troll has consisted of arguments about github, which is a non= -open-source centralized version of what we had before. I you create a repo= sitory to distribute a cool open source replacement of github, with enough = extra features to kiil them in one week, and an innovative system that pays= you to host your content, I believe the people at github have the right to= shut your repository down. It seems that neither godi nor opam do any better (for this particular poin= t, of course): the dictator is different in the three cases, but there is a= dictator. In the case of opam, he has a friend dictator (github). Will we see opam become distributed? It would be awesome to be able to send= packages back and forth between the repositories, without any centralized = decision maker, just as in darcs, for instance. Ocaml has this property of = being an atomic unix tool, conceived in this way, right? Cheers, Pierre