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 98FF85D5 for ; Mon, 10 Feb 2020 11:27:53 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.70,424,1574118000"; d="scan'208";a="435250010" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 10 Feb 2020 12:27:52 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 796D77F408; Mon, 10 Feb 2020 12:27:52 +0100 (CET) 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 7C62B7F3AB for ; Mon, 10 Feb 2020 12:27:49 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=dra-news@metastack.com; spf=Pass smtp.mailfrom=dra-news@metastack.com; spf=None smtp.helo=postmaster@outmail149081.authsmtp.net IronPort-PHdr: =?us-ascii?q?9a23=3A+wCKrhVvOr86zCMfAtt+iOl7jM7V8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRSGu6dThVPEFb/W9+hDw7KP9fy5BSpeuN3b7zhCKMUKC0Zez5?= =?us-ascii?q?1O3kQJO42sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx8u42Pqv9JLNfg5GmCSyYa9oLBWxsA7dqtQajZFtJ6osxRbFuHpFd/?= =?us-ascii?q?lZyW92J1+YghLw6tut8JJ5/Clcpvws+9RcXanmeqgzUKBVAikhP20p/sPgqAPN?= =?us-ascii?q?TRGI5nsSU2UWlgRHDg3Y5xzkXZn/rzX3uPNl1CaVIcP5Q7Y0WS+/76hwUx/nlD?= =?us-ascii?q?0HNz8i/27JjMF7kb9Wrwigpxx7xI7UfZ2VOf9jda7TYd8WWWxMVdtKWidfHo2z?= =?us-ascii?q?cZcAD+sZPeZZsYb9oUcOrQCjDgWoHe/j1yNEimPz0aA8zu8vExzJ3BY4EtwOrn?= =?us-ascii?q?rUotf6OrocX+Cyz6fHwinMYfxR1zfh84XIbgkhof6QUb5ubcbcy08iHB7FgFWK?= =?us-ascii?q?rozlOiuY2uoDvWeB8epgVP+ggHM7pgF1pjiv3cAsipHRho4b11vJ8jh2wJwvKt?= =?us-ascii?q?GhTk50f9ClEIBLuiGfKYR2XtktQ3p0uCkg1rIGuoS3czQNyJQi3hPSbeGMfYaP?= =?us-ascii?q?4hLmTumRIDF4iWpqeLK+mxay8VWgxfbmWsao11ZKqyxImcTPuHAVzxHe69aLRu?= =?us-ascii?q?Fg8kqvwzqDyg/e5+VeLU03iKbXM4Mtz70wm5YJsEnOGjX6lFj5gaKWbEko5Oil?= =?us-ascii?q?5uvhb777vJGTLZV0hRv7Mqk2msywH+A4Mg8WUmic5OS8yLjj8lf4QLVOk/E7na?= =?us-ascii?q?3UvIzZKMgGvKK2GRJV0poj6xakCjemzMwYkWMBLF1bZBKLl4npO1fQL/DkFfqy?= =?us-ascii?q?gkqgnC12y/3IJLHtH5rAI3zZnLriYLpx80tcxxAyzdBb6ZJUELYBIPfrV0Dsrt?= =?us-ascii?q?zXFAY1MwqqzOfpE9VwzYYeVnyTAqCDK6PSrUWH6f4sI+WWeIAVvzP9J+A/5/Hy?= =?us-ascii?q?lX85hUMdfa6x0JQLcn+4G/BmL1ydYXrtmdcBDXwHvhE+TezvkF2NSyRfZ3e0X6?= =?us-ascii?q?Im5zE0EpiqDYnZRoq1mryOwD+7HoFKZmBBEl2MH2/od4KYW/cQaSKdPNVhnycF?= =?us-ascii?q?VLigTo8uzguuuxXgx7pmKOrU4CwYuoj52Nh7/e2A3S01oHY7Id6U1e6KTnpDpm?= =?us-ascii?q?QUWz47xu816Rhz0F6F2q95mLpAEsBP5v5TegY8L5/VieJgXZS6ECDMZNqMSVvu?= =?us-ascii?q?btSjADc2BJplwdMPZkd7HP2ghxbOxDawDrIJ0beMAcpn3Ljb2i27C89jynqO/a?= =?us-ascii?q?0llF4+WoEHYWG8j+t5+hfIL4vEj0yCi6+hduIX2yubpzTL9naHoEwNCF04aq7C?= =?us-ascii?q?R31KIxKO9Y2ltHOHdKenDPEcCiUE0dSLc/YYb9D1hE5aTfzgft/ZZjDpwjbiNV?= =?us-ascii?q?Oz3rqJKbHSVSAY1STZBlIDlllOr3OLKQElGi6qoCTVCzk8TAuyMXOpyvF3rTaA?= =?us-ascii?q?dmFxzwyOaBcxhb2o5hschPjFF6JLjutCsTo9qy5xAE772d/KWYKN?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ApAgBHPUFemFGVDT5mGwEBAQEBAQEFA?= =?us-ascii?q?QEBEQEBAwMBAQGBe4MVWC+EP4kDhhKCERODK4YyhSWMJgkBAwEKAQEjCgIBAYR?= =?us-ascii?q?AAoJFHAcBBDQTAhABAQQBAQECAQIDBAETAQEBAQEICwsGKYU+DII7KQGDAQEBA?= =?us-ascii?q?QQIAhkFUQ0DAgkNCwICJgICGSMbAgQBHQWDFgGCVikBCqsndYEBMYQ1AYYgBoE?= =?us-ascii?q?OKowjgROBB4QkPoJkAoR1gl4EkFefGwqCOgN6hk+PG4JImEeOZIFLhyGSOQIEC?= =?us-ascii?q?wIVgWmBenBQgm0+ERgNjjeDWYpUgXYFIRMLjSEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ApAgBHPUFemFGVDT5mGwEBAQEBAQEFAQEBEQEBAwMBAQG?= =?us-ascii?q?Be4MVWC+EP4kDhhKCERODK4YyhSWMJgkBAwEKAQEjCgIBAYRAAoJFHAcBBDQTA?= =?us-ascii?q?hABAQQBAQECAQIDBAETAQEBAQEICwsGKYU+DII7KQGDAQEBAQQIAhkFUQ0DAgk?= =?us-ascii?q?NCwICJgICGSMbAgQBHQWDFgGCVikBCqsndYEBMYQ1AYYgBoEOKowjgROBB4QkP?= =?us-ascii?q?oJkAoR1gl4EkFefGwqCOgN6hk+PG4JImEeOZIFLhyGSOQIECwIVgWmBenBQgm0?= =?us-ascii?q?+ERgNjjeDWYpUgXYFIRMLjSEBAQ?= X-IronPort-AV: E=Sophos;i="5.70,424,1574118000"; d="scan'208";a="338661868" X-MGA-submission: =?us-ascii?q?MDFrN1DsG2loChKMt2VpxKqEaWD6gPTfDGSoGC?= =?us-ascii?q?+z+wryU9L5oS88GgOgLqXwT00RSLnZCedjqlLIfRaTzLVJwDH2m/EiiU?= =?us-ascii?q?xJ2WHaQabNU0VurJfMQ1axRBUI+FSjV8guXCy4h+0jXzlBVVfsXUUdZl?= =?us-ascii?q?bb3tlp99ZIKGtniNLiMZA6Hw=3D=3D?= Received: from outmail149081.authsmtp.net ([62.13.149.81]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Feb 2020 12:27:47 +0100 Received: from punt19.authsmtp.com (punt19.authsmtp.com [62.13.128.203]) by punt16.authsmtp.com. (8.15.2/8.15.2) with ESMTP id 01ABRjlF010346; Mon, 10 Feb 2020 11:27:45 GMT (envelope-from dra-news@metastack.com) Received: from mail-c237.authsmtp.com (mail-c237.authsmtp.com [62.13.128.237]) by punt19.authsmtp.com. (8.15.2/8.15.2) with ESMTP id 01ABRjPD022556; Mon, 10 Feb 2020 11:27:45 GMT (envelope-from dra-news@metastack.com) Received: from romulus.metastack.com (26.77-31-62.static.virginmediabusiness.co.uk [62.31.77.26]) (authenticated bits=0) by mail.authsmtp.com (8.15.2/8.15.2) with ESMTPSA id 01ABRhaw083349 (version=TLSv1 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 10 Feb 2020 11:27:44 GMT (envelope-from dra-news@metastack.com) Received: from Libera ([185.69.145.254]) (authenticated bits=0) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id 01ABRcw3015790; Mon, 10 Feb 2020 11:27:42 GMT X-FE-BYPASS-SCAN-ON-AUTH: X-FEAS-AUTH-USER: From: "David Allsopp" To: "=?utf-8?Q?'Fran=C3=A7ois_Pottier'?=" , "Jeremie Dimino" Cc: "caml users" References: <7df93c09-6cda-fae5-d9e4-a915881ba3fa@inria.fr> <002401d5dffb$848f0b10$8dad2130$@metastack.com> In-Reply-To: Date: Mon, 10 Feb 2020 12:27:37 +0100 Organization: MetaStack Solutions Ltd. Message-ID: <002501d5e005$1c00f220$5402d660$@metastack.com> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Outlook 16.0 Thread-Index: AQHV3/W2mAwHLEaIx0eq3Xk9YfgEL6gUNwhggAAEEACAAA63AA== Content-Language: en-gb X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 5b63dcd0-4bf8-11ea-a026-8434971169dc X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgESJgREAn9U UXkJW1ZUQFxwU2Fy YQ5VIwNffElPQQJt TkpPXVBXCwQmAR1w dHxGA15yfwZFfHc+ YkFhWT5eDkJ5IRUp QlNQRzsOeGZhPTEC AUBacR5cdABOdxhE a1Z2ACBDAxANdhET Fgo3ejQwJilqYChI RAxFI1UICWEgFzs4 D0RKQXN3Qhpt X-Authentic-SMTP: 61633634383431.1024:7242 X-AuthFastPath: 0 (Was 255) X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] dune for OCaml < 4.07? Reply-To: "David Allsopp" X-Loop: caml-list@inria.fr X-Sequence: 17995 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: Fran=C3=A7ois Pottier wrote: > > TL;DR for installing Menhir on OCaml 4.02-4.06 using opam, you don't > > need to do anything. >=20 > Thanks for your prompt reply, which sounds reassuring! >=20 > However, attempting to install dune 2.2.0 on a pre-4.07 switch (for > instance, 4.02.3) results in the following failure: >=20 > $ opam install dune.2.2.0 > The following dependencies couldn't be met: > - dune =E2=86=92 ocaml >=3D 4.07 =E2=86=92 ocaml-variants >=3D = 4.07.0 > conflict with the base packages of this switch > - dune =E2=86=92 ocaml >=3D 4.07 =E2=86=92 ocaml-system >=3D = 4.07.0 > unmet availability conditions, e.g. sys-ocaml-version =3D = "4.07.0" > - dune =E2=86=92 ocaml >=3D 4.07 =E2=86=92 ocaml-base-compiler = >=3D 4.07.0 > base of this switch (use `--unlock-base' to force) >=20 > I have run "opam update" first. Is there something else I should do to > convince opam that it is possible to install dune? Oops :$ - https://github.com/ocaml/opam-repository/pull/15820 ! Best, D