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 8BA595D4 for ; Sun, 16 Dec 2018 08:12:30 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.56,360,1539640800"; d="scan'208";a="360549988" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 16 Dec 2018 09:12:29 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 7D953824CF; Sun, 16 Dec 2018 09:12:29 +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 B1718824CF for ; Sun, 16 Dec 2018 09:12:23 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=garrigue@math.nagoya-u.ac.jp; spf=None smtp.mailfrom=garrigue@math.nagoya-u.ac.jp; spf=None smtp.helo=postmaster@ms.math.nagoya-u.ac.jp IronPort-PHdr: =?us-ascii?q?9a23=3ADEj2vxK4mLDCx8xQQ9mcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgeKfvxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8ahkVB7oiD?= =?us-ascii?q?8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJdUcleSiJPAoGz?= =?us-ascii?q?YYUAAeQCM+ZWsY7zqkASrRunAAmgGOPvxiNKi3LwwKY00/4hEQbD3AE4G9wBqm?= =?us-ascii?q?jbrMzoNKgMSuC+0ajGwi/Zb/NM2Df955XIfQ48qvyLUrJ/a9DRyVMuFwPKk1Wf?= =?us-ascii?q?t5foPzaP2eQRs2iX9exgWvigi24gqwB+uCGjxto2hobTmo0Z0FLE9T1gzYszON?= =?us-ascii?q?a2S1Z7bMa5HJZeuSyWLYp7Ttk/T2xmpCo20KAKtYOjcCUKy5kr3QPTZvyEfoSS?= =?us-ascii?q?/x7vSuWcLS1liH9ler+ygQu5/1K6xe3mTMa01U5HripbndnIsXAAzxnT6tOdRv?= =?us-ascii?q?t45EihxTaP2xrV6u5eLkA0kqraJIQ4zr4tjJYcq1jMEjX0mEXulKOWd0Mk9fa0?= =?us-ascii?q?6+n/f7nrqJGRO5V1hw3kL6gjlNCzDf4lPgQTR2Sb/P6z1Lzn/U33WrVKifg2n7?= =?us-ascii?q?HWsJ/AP8QbvK+5AwBI0ok98Bu/Ci2p0MgYnXUdKlJKYh2Hj4/pOl7UOfz4EO2z?= =?us-ascii?q?jE6wnztxxfDGJqXtAo/RIXjbjLfhYbF95lZAxwUpyNBf44tYCrUAIPLoRk/8r8?= =?us-ascii?q?fYDx88Mwys2enrEtR91oUEWWKOGKCVKq3SsUXbrt4odsSJZYsUvwHfJuO3/MnB?= =?us-ascii?q?hHs9lFAaSoCz3JIMICS1NuQ2ewOee3W60fkbFmJfnAM1VfHnkxWtWCRJZnmvUu?= =?us-ascii?q?po6TghEoOpEIrrQ4mxgPqH1Si8D5QTeyZPARaOCSG7JM2/R/4QZXfKcYdamTse?= =?us-ascii?q?WO3kEtd5jED8hErB07Nia9Hs1GgdvJPn2sJy4reKxxQ76TwyCc2S1HCECnwyl2?= =?us-ascii?q?hORSdkhPkj83w48U+K1O1Du9IdDcZavaobVw4mNdjaxuN9Gtm3R0TIdZGLUAT+?= =?us-ascii?q?G4j0MXQKVts0huQ2TQN9FtGl1EyR2jHsBrYJl/qNDZMz46uZwj74LIB/0ySe2Q?= =?us-ascii?q?=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AjAACwBxZclwuCBoVjHAEBAQQBAQcEA?= =?us-ascii?q?QGBUwUBAQsBgmxtEieDfIh4pHyBegEMhGwCgx8GBjIHDQEDAQECAQEBAQETAQE?= =?us-ascii?q?BAQEIFgZMDII2JAGCYgYjHQEBNwEPCxoCJgICVwYTG4MHggCjVXCBL4J2AQEFg?= =?us-ascii?q?kOCbB6BSwiBC4tKgX+BEScfgkyFAYMIMYImhzAHiRWQTwmRWhiKBIdOll+DBYF?= =?us-ascii?q?NA4IETTg7KgGCQT6BXRqGWYdcMDOPCgEB?= X-IPAS-Result: =?us-ascii?q?A0AjAACwBxZclwuCBoVjHAEBAQQBAQcEAQGBUwUBAQsBgmx?= =?us-ascii?q?tEieDfIh4pHyBegEMhGwCgx8GBjIHDQEDAQECAQEBAQETAQEBAQEIFgZMDII2J?= =?us-ascii?q?AGCYgYjHQEBNwEPCxoCJgICVwYTG4MHggCjVXCBL4J2AQEFgkOCbB6BSwiBC4t?= =?us-ascii?q?KgX+BEScfgkyFAYMIMYImhzAHiRWQTwmRWhiKBIdOll+DBYFNA4IETTg7KgGCQ?= =?us-ascii?q?T6BXRqGWYdcMDOPCgEB?= X-IronPort-AV: E=Sophos;i="5.56,360,1539640800"; d="scan'208";a="360549978" Received: from bsd20.math.nagoya-u.ac.jp (HELO ms.math.nagoya-u.ac.jp) ([133.6.130.11]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 16 Dec 2018 09:12:21 +0100 Received: from [192.168.0.12] (58x158x128x157.ap58.ftth.ucom.ne.jp [58.158.128.157]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ms.math.nagoya-u.ac.jp (Postfix) with ESMTPSA id 5CCEF99329C; Sun, 16 Dec 2018 17:12:18 +0900 (JST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=math.nagoya-u.ac.jp; s=20160220; t=1544947938; bh=EwWjCjUG/mj56CCNXhBIc+wwibgjBWG9fZDAEceojD0=; h=Subject:From:In-Reply-To:Date:Cc:References:To; b=l8ekmw0EdoGGwJLqISZRW46AUhwW/rMpCy0rcoULKMK2pko53Vowu3v7GfzRoGDQo d5qgCdMbsTaFdUN12HrxALwAI1JOG7A2vlVR+rgrQ1XmpzzCEFHHvryzweuUtPfhu3 hzKr1vGqKeoz8q8uNQXOeIVf5n14P13GWCrNKnLU= Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 12.1 \(3445.101.1\)) From: Jacques Garrigue In-Reply-To: <87d0q4tk2v.fsf@x80.org> Date: Sun, 16 Dec 2018 17:12:13 +0900 Cc: Mailing List OCaml Content-Transfer-Encoding: quoted-printable Message-Id: References: <966B3CBE-29BB-4336-BDBF-0012723E7099@math.nagoya-u.ac.jp> <87va45odpo.fsf@x80.org> <8736r9mbho.fsf@x80.org> <87d0q4tk2v.fsf@x80.org> To: =?utf-8?Q?Emilio_Jes=C3=BAs_Gallego_Arias?= X-Mailer: Apple Mail (2.3445.101.1) X-Greylist: Sender succeeded SMTP AUTH, not delayed by milter-greylist-4.6.2 (ms.math.nagoya-u.ac.jp [0.0.0.0]); Sun, 16 Dec 2018 17:12:18 +0900 (JST) X-Virus-Scanned: clamav-milter 0.99.2 at bsdserver20 X-Virus-Status: Clean X-Spam-Checker-Version: SpamAssassin 3.4.1 (2015-04-28) on bsdserver20.math.nagoya-u.ac.jp Subject: Re: [Caml-list] LablGtk3 beta1 Reply-To: Jacques Garrigue X-Loop: caml-list@inria.fr X-Sequence: 17243 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: 2018/12/14 20:38, Emilio Jes=C3=BAs Gallego Arias : >=20 > Hi Francois, >=20 > Francois Berenger writes: >=20 >> 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. >=20 > I wasn't going that far [as that tends to be quite complicated > technically]. >=20 > 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 >=3D 3.12" and some other package B can specify "gtk-3.0 >=3D > 3.14". >=20 > Even if that only serves as documentation for now. >=20 > The `conf-gtk` approach seems not very well suited for this. 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 av= ailable, 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. Jacques --=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=