From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: <5764c029b688c1c0d24a2e97cd764f@gmail.com> 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 473B281799 for ; Wed, 24 Jul 2013 18:54:20 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com) identity=pra; client-ip=209.85.215.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of 5764c029b688c1c0d24a2e97cd764f@gmail.com designates 209.85.215.179 as permitted sender) identity=mailfrom; client-ip=209.85.215.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="5764c029b688c1c0d24a2e97cd764f@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-ea0-f179.google.com) identity=helo; client-ip=209.85.215.179; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="5764c029b688c1c0d24a2e97cd764f@gmail.com"; x-sender="postmaster@mail-ea0-f179.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AsoBAMQF8FHRVdezk2dsb2JhbABaghsEgR2DEbsggRYWDgEBAQEHCwsJFAQkgiQBAQVAARscAQEDDAYFCwMKCRYPCQMCAQIBDwIRAQUBHAYNAQUCAod5AQMPBJtMjE+Cf4RKChknDWSHdAEFDI0JgmgHhAADlXaBaYYjhgSDQT+EOw X-IPAS-Result: AsoBAMQF8FHRVdezk2dsb2JhbABaghsEgR2DEbsggRYWDgEBAQEHCwsJFAQkgiQBAQVAARscAQEDDAYFCwMKCRYPCQMCAQIBDwIRAQUBHAYNAQUCAod5AQMPBJtMjE+Cf4RKChknDWSHdAEFDI0JgmgHhAADlXaBaYYjhgSDQT+EOw X-IronPort-AV: E=Sophos;i="4.89,736,1367964000"; d="scan'208";a="22152239" Received: from mail-ea0-f179.google.com ([209.85.215.179]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jul 2013 18:54:19 +0200 Received: by mail-ea0-f179.google.com with SMTP id b15so369121eae.38 for ; Wed, 24 Jul 2013 09:54:19 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=message-id:date:from:user-agent:mime-version:to:cc:subject :references:in-reply-to:x-enigmail-version:content-type :content-transfer-encoding; bh=jw0yeiIBptjedbD8T61FhJSisO2HWwhmrwilYlXUjnw=; b=gDvr0kM88NdiGJcuNxE+bpCTQRxZukG9DwpJSzc/XNl87sQQewNTcKOk+bh9KwR39a HBHxSFgi7TLFlJp7hDkdarhBHWtyihs7yN3gQ4136CpSdNDq5bfpE7PIw8cXU4gZmcEw NmNKKcOyEkEvKgANc9jOTW8w66GjZgJvjDvsbrdRMjXhtgRB1on5RyPliOZWC4iHV+we eTfkcOXRdYjxcVHRqp2D8JXye3219aeNBlK6CgZW0Ga7id6h8M9GIt6lfFG73fT9di4e WdxOASg/uUZWx2zLaAAmr60Q5IabYX98E3JA2wwQcbJMBdFez/MZ/NwdHgt4WtFS/EvP lHtw== X-Received: by 10.15.110.197 with SMTP id ch45mr38068127eeb.149.1374684859098; Wed, 24 Jul 2013 09:54:19 -0700 (PDT) Received: from [172.27.6.180] ([213.106.240.92]) by mx.google.com with ESMTPSA id cg12sm67421022eeb.7.2013.07.24.09.54.18 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 24 Jul 2013 09:54:18 -0700 (PDT) Message-ID: <51F00744.1010706@gmail.com> Date: Wed, 24 Jul 2013 17:56:36 +0100 From: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.12) Gecko/20130116 Icedove/10.0.12 MIME-Version: 1.0 To: David Sheets CC: O Caml References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> <51EFFE3A.30603@gmail.com> In-Reply-To: X-Enigmail-Version: 1.4.1 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: AW: [Caml-list] GODI is shutting down On 24/07/13 17:17, David Sheets wrote: > On Wed, Jul 24, 2013 at 5:18 PM, Matej Kosik > <5764c029b688c1c0d24a2e97cd764f@gmail.com> wrote: >> On 24/07/13 15:44, Thomas Gazagnaire wrote: >>> >>> 6. "No, all package managers should unite in this point, and only accept >>> packages with oasis support. (Btw, that's homework for me.) Just do it the >>> same way as we did when requiring findlib." >>> >>> I disagree, people should be free to use whatever system they want. >> >> The above argument, in general, is invalid. > > [citation needed] Indeed. In which moral system would your claim: "People should be free to use whatever system they want.", in general, be valid? It just puzzles me that someone can claim this. It is like saying that: "People should be free do do whatever they want." Regardless of what particular individual believes|is_able_to_explain is right or wrong, I cannot find a single system where your claim would be valid.