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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 37DBA8179A for ; Wed, 24 Jul 2013 19:03:19 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.170 as permitted sender) identity=mailfrom; client-ip=74.125.82.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@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-we0-f170.google.com) identity=helo; client-ip=74.125.82.170; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-we0-f170.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArUBAGkH8FFKfVKqjWdsb2JhbABagzy+MYEWFg4BAQEBBwsLCRIGJIIlAQU6BgE4AQMMAQUFRjQBBQEcBogRAw8Em0iPToRsJw2IWAEFDI8+g0xuA54CiUU/gV2CXw X-IPAS-Result: ArUBAGkH8FFKfVKqjWdsb2JhbABagzy+MYEWFg4BAQEBBwsLCRIGJIIlAQU6BgE4AQMMAQUFRjQBBQEcBogRAw8Em0iPToRsJw2IWAEFDI8+g0xuA54CiUU/gV2CXw X-IronPort-AV: E=Sophos;i="4.89,736,1367964000"; d="scan'208";a="27193758" Received: from mail-we0-f170.google.com ([74.125.82.170]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 24 Jul 2013 19:03:18 +0200 Received: by mail-we0-f170.google.com with SMTP id w60so2445263wes.29 for ; Wed, 24 Jul 2013 10:03:18 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:subject:mime-version:content-type:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to:x-mailer; bh=sP0AJZizCFcLN1txLX7G0ShKs2VEjoRQejLv1k8/qug=; b=kkwJLNk+XcjoGUYK/Q3Dd6n9ia9RydeNRtVOcuWIvPZ9HGrSinxqXf8WYm9SxwGIcB 28WP5uIw6BxIlbLfRSGsB17eKyOWhlXKiQdmDypmvzGxtE0QO+W8d71Dfg6xuoa4Eud6 BKaei3lPGO7RYb+3U/QFYDo2qaTsn7WQad41TGsCrg+A0Py3IwlNdC0+MWtaHhWh3R79 qPM+C+lb/Zwt/mL3bE5xlptaROYBbJ8aKIn2x+zBUVMRy9KECkg6G3M7aP2UWbn+236J NgHeyOTTp9sjotoLNqiN4KAeFZ2k3cUmzBrjTWUuASohLcFTqHU+5+N1miBU9yuVL+mA sT0g== X-Received: by 10.194.82.193 with SMTP id k1mr26832956wjy.21.1374685398514; Wed, 24 Jul 2013 10:03:18 -0700 (PDT) Received: from [192.168.0.12] (gou06-3-88-170-165-56.fbx.proxad.net. [88.170.165.56]) by mx.google.com with ESMTPSA id j20sm6591922wie.7.2013.07.24.10.03.16 for (version=TLSv1 cipher=ECDHE-RSA-RC4-SHA bits=128/128); Wed, 24 Jul 2013 10:03:17 -0700 (PDT) Sender: Thomas Gazagnaire Mime-Version: 1.0 (Apple Message framework v1085) Content-Type: text/plain; charset=us-ascii From: Thomas Gazagnaire In-Reply-To: <51F00744.1010706@gmail.com> Date: Wed, 24 Jul 2013 19:03:15 +0200 Cc: David Sheets , O Caml Content-Transfer-Encoding: quoted-printable Message-Id: <20D2E977-CFA7-4BA4-B061-BB095E951954@ocamlpro.com> References: <1374669368.25411.5@samsung> <1B6BB035-9909-4F0C-9DEA-F713B977A467@ocamlpro.com> <51EFFE3A.30603@gmail.com> <51F00744.1010706@gmail.com> To: Matej Kosik <5764c029b688c1c0d24a2e97cd764f@gmail.com> X-Mailer: Apple Mail (2.1085) Subject: Re: AW: [Caml-list] GODI is shutting down >>>> 6. "No, all package managers should unite in this point, and only acce= pt >>>> packages with oasis support. (Btw, that's homework for me.) Just do it= the >>>> same way as we did when requiring findlib." >>>>=20 >>>> I disagree, people should be free to use whatever system they want. >>>=20 >>> The above argument, in general, is invalid. >>=20 >> [citation needed] >=20 > Indeed. >=20 > In which moral system would your claim: >=20 > "People should be free to use whatever system they want.", >=20 > in general, be valid? >=20 > It just puzzles me that someone can claim this. > It is like saying that: >=20 > "People should be free do do whatever they want." >=20 > Regardless of what particular individual believes|is_able_to_explain is r= ight or wrong, I cannot find a single system where your claim would be vali= d. Right, seems that people are quite keen to argue today. What I meant is: gi= ven the current state of affairs in the build system world and the very dif= ferent needs of the very different set of existing users, I am *very* reluc= tant to force anybody to use any specific build system. Hope this help, Thomas=