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 C44EB5D4 for ; Mon, 17 Dec 2018 12:11:39 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,365,1539640800"; d="scan'208";a="360672752" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 17 Dec 2018 13:11:37 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 10BF18256A; Mon, 17 Dec 2018 13:11:37 +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 DF0A1824CF for ; Mon, 17 Dec 2018 13:11:32 +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=3Ah58BfBELlFYqM2Z4bLIgxJ1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zp8+wAkXT6L1XgUPTWs2DsrQY07qQ6/iocFdDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXdrXKo8DEdBAj0OxZr?= =?us-ascii?q?KeTpAI7SiNm82/yv95HJbAhEmDmwbaluIBmqsA7cqtQYjYx+J6gr1xDHuGFIe+?= =?us-ascii?q?NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S6dYDCk9PGAu+MLrrxjD?= =?us-ascii?q?QhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VC+85Kl3VhDnlC?= =?us-ascii?q?YHNyY48G7JjMxwkLlbqw+lqxBm3oLYfJ2ZOP94c6jAf90VWHBBU95RWSJfH428?= =?us-ascii?q?aIUPAeQDMuhboYbyqEcBoxSlCAmwHePi0CNEimPs0KA41ekqDAHI3BYnH9ILqH?= =?us-ascii?q?nao9D1NKYWUeC0y6nH1THNYO1N2S/n84jHahEvruuIXbJ0b8XRxk4vGBvZg1WK?= =?us-ascii?q?qIzqJSiV3fkKvmeF9OdhWuGih3I9pwF2uDivyd4hh4/UjYwbzVDE8D92wIczJd?= =?us-ascii?q?CgR057YMKkEJtNty6BLYd5XsQiQ2RutS0nybMGoYa2cDUJxZkk3RLTdeKLfomS?= =?us-ascii?q?7h7+VuudPC10iG9rdb6hnxq/80qtxvfhWsS001tGtDdJn9rQunwXyRDe5dSLR/?= =?us-ascii?q?1g9Um7wzmPzRrc6uRcLEA0i6XbL5khz6Y/l5cQrUjPBCj2mF/5jKOOd0Uk/Pan?= =?us-ascii?q?6/j/b7n7pZKRNJV4hh/gPqkvgMCzHOY1PhUUU2SG9+mwyqXv/UjjT7VLiv02nL?= =?us-ascii?q?PZsJffJckDuKG0GABU34U/5xqlCDemytsYkWEdLF1ZYBKHk5TpO1bWLf/kF/i/?= =?us-ascii?q?hlCsnC5vx/DHJb3hHo7ALmPDkbfkZbZy8VRQyAs1zdBF5pJbEKsNIPzpWhy5iN?= =?us-ascii?q?uNLBYyKhG52K7IAc9n14wDVCrbDaaDKqLdrFKg4+szI6+KbYASqT+4Nr4s7Ljs?= =?us-ascii?q?lSlqt0UaePyE2JoTaXePPPl9sV6uTnPohtoOFlAjpAs3V6S+hXWSAWYVYGy9Cf?= =?us-ascii?q?FvrgonAZ6rWN+QDrumh6aMiWLiRsUPNzJ2T2uUGHKtTL2qHvIFaSacOMhkw24U?= =?us-ascii?q?BeDnTJUuh0j36F3KjoF/J++RwRU28Ir53Ykn972L0xYo+m4sVpnP4yS2V2hx21?= =?us-ascii?q?gwaXo20aR48B5tmg/F1rJ30aVV?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DGCgDgkRdc/4Sr4rxkDhABBgcGgWWCB?= =?us-ascii?q?GICAQGBAieDfIh4ixeCDYpUjn4NIwgBhEACgxMbBgEENBIBAwEBAgEBAQEBbBw?= =?us-ascii?q?MgjYkAYJiAQQBIx0BATcBBAsLGgIFIQICDwEESRMbgwiBeAwLpwRwgS+CdgEBB?= =?us-ascii?q?YYUUjMDBYELizOCFoERgxKDHgKBYYMIglehGwgBhw2KZZFSjjKLMoFdIYFWMxo?= =?us-ascii?q?wQ4JsghuDbYUUhQQ8PjOBAgEBJBMLAY0vAQE?= X-IPAS-Result: =?us-ascii?q?A0DGCgDgkRdc/4Sr4rxkDhABBgcGgWWCBGICAQGBAieDfIh?= =?us-ascii?q?4ixeCDYpUjn4NIwgBhEACgxMbBgEENBIBAwEBAgEBAQEBbBwMgjYkAYJiAQQBI?= =?us-ascii?q?x0BATcBBAsLGgIFIQICDwEESRMbgwiBeAwLpwRwgS+CdgEBBYYUUjMDBYELizO?= =?us-ascii?q?CFoERgxKDHgKBYYMIglehGwgBhw2KZZFSjjKLMoFdIYFWMxowQ4JsghuDbYUUh?= =?us-ascii?q?QQ8PjOBAgEBJBMLAY0vAQE?= X-IronPort-AV: E=Sophos;i="5.56,365,1539640800"; d="scan'208";a="360672733" Received: from x80.org ([188.226.171.132]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 17 Dec 2018 13:11:32 +0100 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=x80.org; s=chaosisorder; h=Content-Transfer-Encoding:Content-Type:MIME-Version: Message-ID:In-Reply-To:Date:References:Subject:Cc:To:From:Sender:Reply-To: 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=mOFAs0LSIssMRplO1RY+i6NnTROQsMlDb1nxUBEXTYY=; b=LK0RjRIVFiXJEM14Ss6JDfUFTM KXscfT7CEs+njTJ/Sm4QQKn0XDPaDIe89EbU8FZU0EOKSKmHriryNhS6wWFZW2j4wvUPNL3EwWtWi biYffvuaoiigbaUAG5tHZukIKzPPVEh2OUvQcX4umzaGP//a8pwhFY6ggImQ490wUhuI=; Received: from sfr-16.cri.mines-paristech.fr ([77.158.180.240] helo=lasserre) by x80.org with esmtpsa (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.89) (envelope-from ) id 1gYrk8-0004OR-7u; Mon, 17 Dec 2018 12:11:28 +0000 From: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= To: Jacques Garrigue Cc: Mailing List OCaml Organization: X80 Heavy Industries References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> <87va45odpo.fsf@x80.org> <8736r9mbho.fsf@x80.org> <87d0q4tk2v.fsf@x80.org> X-Url: https://x80.org/emilio/ Mail-Followup-To: Jacques Garrigue , Mailing List OCaml Date: Mon, 17 Dec 2018 13:11:27 +0100 In-Reply-To: (Jacques Garrigue's message of "Sun, 16 Dec 2018 17:12:13 +0900") Message-ID: <87o99kmjyo.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; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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: 17244 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: Jacques Garrigue writes: > Emilio, I do agree with you on that. > I added a conf-gtk3 as was suggested to me, and since lablgtk3 requires > gtk 3.18, if dependes on a versioned package conf-gtk3.18 (i.e. cong-gtk3= ">=3D 18=E2=80=9D) > However, if somebody else introduces a conf-gtk3.22 version, that one will > be installed by default (even for lablgtk3), and fail if one gtk-3.18 is = available, > so this does not seem to be the right solution for versioning, and I see = no > other way to do it with the current opam. Indeed, IMVHO lablgtk should follow the packaging structure hinted at https://github.com/garrigue/lablgtk/pull/14 and don't depend on `conf-gtk`. This would have the important additional benefit of allowing fully automatic OPAM releases, which are trickier to do when the conf-foo package is there. E. --=20 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=