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 c5ff346549e7 (Postfix) with ESMTPS id 944EA5D4 for ; Fri, 14 Dec 2018 11:38:16 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,352,1539640800"; d="scan'208";a="360383355" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 14 Dec 2018 12:38:13 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id D846082562; Fri, 14 Dec 2018 12:38:13 +0100 (CET) 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 B3116824E4; Fri, 14 Dec 2018 12:38:02 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=e@x80.org; spf=Pass smtp.mailfrom=e@x80.org; spf=Pass smtp.helo=postmaster@x80.org IronPort-PHdr: =?us-ascii?q?9a23=3ALtaxwRFSXOaBqtoZXtwL2J1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ78r8+wAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5KlpVRDokj?= =?us-ascii?q?8KOT4n/m/KjcxwgqxVrxCiqRNxzIHbfJqYNOZicq7HYd8WWXBMU8RXWidcAo28?= =?us-ascii?q?dYwPD+8ZMOhXqon9pl8OrRq5BQa0AO3g1CRInmXt3aIi0uouCwXG3Ag+ENIBt3?= =?us-ascii?q?TbtMn4NL0TUe+v16nD0DLOYO1N1Dby64XEbgotofaWXbJ/aMfcz1QkGQDdjliI?= =?us-ascii?q?tIDoPDCY2v4Tv2SF7udsT/+jhmw6pw1rvzSiyNkghpHKi48U0FzJ9Cd0zJwxKN?= =?us-ascii?q?GiVUJ2Y9ipG4ZKuS6ALYt5WMYiTnlouCkkzr0Gvoa2fScJxZg73RLfbOaHc4eQ?= =?us-ascii?q?7hLiUuaePyt4iWp4dL+8hBu+61asxvP9W8WuzVpHrDdJnsPRun0DyRDf8s2HRe?= =?us-ascii?q?F8/kel1zaPzQfT6uRcLE8qjqfaJJ0szqIqmpoUq0TDETf6mF/qg6+OakUk5u+o?= =?us-ascii?q?5vz7bbr8o5+cM5Z4igX/MqQ1hsyzGP44PRYXX2iG5+u8z6Hj8FbiQLRKi/02ir?= =?us-ascii?q?PWvIrbJcQdvK65AhVa3pwt6xalFz2mysgXnWEbLFJZfxKKl5TmNEvLIPD8FPu/?= =?us-ascii?q?h1WskCx3x/3dJb3gApDNLmDZn7v7fLZ97VRcyAspwtxF6ZJUEOJJHPWmdFX4st?= =?us-ascii?q?ffDwRxGQGuzuDoBc81goYaWHmTGYedMazbt1PO6/95cMeWY4pAlTP8L/ki0Nzj?= =?us-ascii?q?lu0irnAUea2k0pwgQWq5F+8ud0ixcSq0xNAbHjFZ7UIFUOX2hQjaAnZobHGoUv?= =?us-ascii?q?dkv2BpOMedFY7GA7uVrvmE1Sa/EIdRYzEUGgDUV3DyeNfdAqteWGepOsZk1wc8?= =?us-ascii?q?e/25UYZwhwH+7En90bU1drOJqB1djorq0Z1O38OWlRw28m0mH5TFlWaXQDMtkw?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CPAwC8lBNcl4Sr4rxjHQEBBQEHBQGBZ?= =?us-ascii?q?YJmgQYnjHSLGYINmU8NKwGEQAKDBRsGAQQ0EgEDAQECAQEBAQETAQEBAQEIFgZ?= =?us-ascii?q?MDII2IoJlAQICAUABATcBBAsLDhMlDwEESRODIYF5DKRwgh+CdgEBBYYlUjMIj?= =?us-ascii?q?D6CFoERgxKKXKEaCAGRcoFOj3+ZWIFdgXczGjBDgmyCGxqIZ4VAPjOBAgEBJBM?= =?us-ascii?q?LAYwWAQE?= X-IPAS-Result: =?us-ascii?q?A0CPAwC8lBNcl4Sr4rxjHQEBBQEHBQGBZYJmgQYnjHSLGYI?= =?us-ascii?q?NmU8NKwGEQAKDBRsGAQQ0EgEDAQECAQEBAQETAQEBAQEIFgZMDII2IoJlAQICA?= =?us-ascii?q?UABATcBBAsLDhMlDwEESRODIYF5DKRwgh+CdgEBBYYlUjMIjD6CFoERgxKKXKE?= =?us-ascii?q?aCAGRcoFOj3+ZWIFdgXczGjBDgmyCGxqIZ4VAPjOBAgEBJBMLAYwWAQE?= X-IronPort-AV: E=Sophos;i="5.56,352,1539640800"; d="scan'208";a="360383299" Received: from x80.org ([188.226.171.132]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 14 Dec 2018 12:38:02 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=x80.org; s=chaosisorder; h=Content-Type:MIME-Version:Message-ID:In-Reply-To:Date: References:Subject:Cc:To:From:Sender:Reply-To:Content-Transfer-Encoding: Content-ID:Content-Description:Resent-Date:Resent-From:Resent-Sender: Resent-To:Resent-Cc:Resent-Message-ID:List-Id:List-Help:List-Unsubscribe: List-Subscribe:List-Post:List-Owner:List-Archive; bh=u8O9Le4fryw22AqR24gKIYOBixBSn3K8d9DFm1NboTk=; b=a6FnBY3S1kCh42bIcRqUYrdcdG JCY4PwZtHnMkz4GfKWXt9zngdsnx7sawmZvsHvIkz6qyUKtX3oLQ3y3M2FpldlklChZZGWieCGItq LoyelGa1VDCpgWvLwEUqUDa065NtShCqXl8cKo76NTbfRWcgkR3vaijvOOoBEZQPATHo=; Received: from 17.9.67.86.rev.sfr.net ([86.67.9.17] helo=lasserre) by x80.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gXln7-0005SY-43; Fri, 14 Dec 2018 11:38:01 +0000 From: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= To: Francois Berenger Cc: caml users , caml-list-request@inria.fr Organization: X80 Heavy Industries References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> <87va45odpo.fsf@x80.org> <8736r9mbho.fsf@x80.org> X-Url: https://x80.org/emilio/ Mail-Followup-To: Francois Berenger , caml users , caml-list-request@inria.fr Date: Fri, 14 Dec 2018 12:38:00 +0100 In-Reply-To: (Francois Berenger's message of "Tue, 11 Dec 2018 12:09:37 +0900") Message-ID: <87d0q4tk2v.fsf@x80.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.0.50 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= X-Loop: caml-list@inria.fr X-Sequence: 17241 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: Hi Francois, Francois Berenger writes: > You are suggesting that opam should support the installation of > different versions of the same thing. > I think nix can do that, and that indeed looks like a current > limitation of opam. I wasn't going that far [as that tends to be quite complicated technically]. I just proposed that our OPAM workflow should support for packages to specify versioned dependencies on depext stuff, so a package A can do "gtk-3.0 >= 3.12" and some other package B can specify "gtk-3.0 >= 3.14". Even if that only serves as documentation for now. The `conf-gtk` approach seems not very well suited for this. E. -- Caml-list mailing list. Subscription management and archives: https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list Forum: https://discuss.ocaml.org/ Bug reports: http://caml.inria.fr/bin/caml-bugs