From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@gmail.com>
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 3413E81799
	for <caml-list@sympa.inria.fr>; Mon, 29 Jul 2013 00:56:10 +0200 (CEST)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  wojciech.meyer@gmail.com) identity=pra;
  client-ip=209.85.212.170;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="wojciech.meyer@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of
  wojciech.meyer@gmail.com designates 209.85.212.170 as
  permitted sender) identity=mailfrom;
  client-ip=209.85.212.170;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="wojciech.meyer@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-f170.google.com) identity=helo;
  client-ip=209.85.212.170;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="wojciech.meyer@gmail.com";
  x-sender="postmaster@mail-wi0-f170.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvsBANeg9VHRVdSqjWdsb2JhbABbgzuDGEe6Q4EXFg4BAQEBBwsLCRIGJIIkAQEEASMdARsdAQMBCwYFCw8CBRMOAgIPARMRAQUBHAYTh30BAwkGBAiaPIwAT4J/g1wKGScNZId0AQUMgRyOIjOCaoEiA5dfgSmOPj+EOw
X-IPAS-Result: AvsBANeg9VHRVdSqjWdsb2JhbABbgzuDGEe6Q4EXFg4BAQEBBwsLCRIGJIIkAQEEASMdARsdAQMBCwYFCw8CBRMOAgIPARMRAQUBHAYTh30BAwkGBAiaPIwAT4J/g1wKGScNZId0AQUMgRyOIjOCaoEiA5dfgSmOPj+EOw
X-IronPort-AV: E=Sophos;i="4.89,765,1367964000"; 
   d="scan'208";a="27724243"
Received: from mail-wi0-f170.google.com ([209.85.212.170])
  by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Jul 2013 00:56:09 +0200
Received: by mail-wi0-f170.google.com with SMTP id hi8so466258wib.1
        for <caml-list@inria.fr>; Sun, 28 Jul 2013 15:56:09 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=from:to:cc:subject:date:references:message-id:mime-version
         :content-type:content-transfer-encoding;
        bh=vbdR4d/8GiCnEUQxYRC2uheG8OFhOvR8OiO7xuKtNZ0=;
        b=k9cYmsNqWba+eslx1BBj2wE5y66zA4+UgeVkPYW1YimG7bTZ9Z6Nurfy2IZi5OcEru
         pJ5GzlyFQdRr7WNIPg3osRaEdgB2K0B2VKT5w6PmaDiwJZolnzjOQarhayiexeZYEDps
         U5rx9Hb6SCv0ZdYk3hLByOSl8CTF7Vc/tgp7Pe2ZJdeltU2Jml5HrZDBd1RSJKMEDlO2
         PkyKIwskoCKDzWHMCm2YQKYMHAD2Jdo5sM5svCnIbswhpyrmT43JfNdkwqBkvr7/Iw3w
         cy0QbMGNbVGV36B4qZ58VueA5F/OpUQ1FOeSB8Rt8gAIjJ9JcAEkbLZNuEAqoeKwqLkJ
         4b6Q==
X-Received: by 10.180.72.134 with SMTP id d6mr5212490wiv.8.1375052169132;
        Sun, 28 Jul 2013 15:56:09 -0700 (PDT)
Received: from localhost.danmey.org (cpc2-cmbg12-0-0-cust796.5-4.cable.virginmedia.com. [86.9.203.29])
        by mx.google.com with ESMTPSA id nb12sm18952836wic.3.2013.07.28.15.56.07
        for <multiple recipients>
        (version=TLSv1.2 cipher=RC4-SHA bits=128/128);
        Sun, 28 Jul 2013 15:56:08 -0700 (PDT)
From: Wojciech Meyer <wojciech.meyer@gmail.com>
To: Daniel =?utf-8?Q?B=C3=BCnzli?= <daniel.buenzli@erratique.ch>
Cc: Pierre-Etienne Meunier <pierreetienne.meunier@gmail.com>,  O Caml <caml-list@inria.fr>
Date: Sun, 28 Jul 2013 23:29:34 +0100
References: <1e141e2803d9dec6a8231dd4f16dd173.squirrel@gps.dynxs.de>
	<D7FA3AFE-4C24-4E83-9096-95A5DF525820@ocamlpro.com>
	<0825FE33-303A-464F-A089-4AF6065A2B65@gmail.com>
	<C032369AD18844ECA7001ED9BFD776DA@erratique.ch>
Message-ID: <87ehaicn0f.fsf@gmail.com>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Subject: Re: [Caml-list] Re: [Godi-list] GODI is shutting down

Daniel B=C3=BCnzli <daniel.buenzli@erratique.ch> writes:

> Le mardi, 23 juillet 2013 =C3=A0 16:32, Pierre-Etienne Meunier a =C3=A9cr=
it :
>> It seems that neither godi nor opam do any better (for this
> particular point, 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).
>
> I can't speak for godi, but at least for opam you get your facts
> wrong. There's nothing specific about github in opam and everybody can
> be a dictator. I'm one, just type:
>
>     opam repo add erratique-u http://erratique.ch/software/opam/unreleased
>     opam upgrade
>
>
> if you want to be one of my subjects.

Daniel,

Thanks for dictating how the excellent libraries should look like.

(and thanks for your libraries, gg is awesome!)

Best,
Wojciech