From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <damien.doligez@inria.fr>
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 D77AA7F72C
	for <caml-list@sympa.inria.fr>; Tue, 16 Aug 2016 14:37:54 +0200 (CEST)
X-IronPort-AV: E=Sophos;i="5.28,529,1464645600"; 
   d="scan'208";a="190132326"
Received: from macrame.saclay.inria.fr (HELO [10.0.1.8]) ([193.55.177.65])
  by mail3-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 16 Aug 2016 14:37:54 +0200
Content-Type: text/plain; charset=iso-8859-1
Mime-Version: 1.0 (Mac OS X Mail 9.3 \(3124\))
From: Damien Doligez <damien.doligez@inria.fr>
In-Reply-To: <E51C5B015DBD1348A1D85763337FB6D9013507F85A@Remus.metastack.local>
Date: Tue, 16 Aug 2016 14:37:53 +0200
Content-Transfer-Encoding: quoted-printable
Message-Id: <CFC2D68B-51D8-4274-8450-7B6EDDF8B345@inria.fr>
References: <3F86857B-79DC-4FCE-8727-691C23120C3F@inria.fr> <20160809142412.GA12056@frosties> <1038B4FD-B561-413E-885A-8EAE00AC31FD@inria.fr> <E51C5B015DBD1348A1D85763337FB6D90135073B8E@Remus.metastack.local> <8E48ABE1-F29A-4F24-816A-636F57717335@inria.fr> <CAHvkLrPfqBWL-L4HYMHX5CBMVAtAv7PBbAbpyHUAWRey5a5Sqg@mail.gmail.com> <2EE300AC-F36A-4140-9886-A44A5554B192@inria.fr> <20160812122517.GB13692@venema.ocamlpro.com> <E51C5B015DBD1348A1D85763337FB6D9013507F85A@Remus.metastack.local>
To: caml users <caml-list@inria.fr>
X-Mailer: Apple Mail (2.3124)
Subject: Re: [Caml-list] OCaml 4.04.0+beta1


> On 2016-08-12, at 14:50, David Allsopp <dra-news@metastack.com> wrote:
>=20
> If such a change were agreed, it would also be possible to alter opam lin=
t (or at least opam-repository linting, once that's fully a "thing") to dis=
play a lint warning/info that things like ocaml {< "4.05"} probably mean "o=
caml" {< "4.05~~"}.=20

So every mention of an OCaml version number in every opam package descripti=
on file will have to be suffixed with a ~. And that has to be done before w=
e change the OCaml numbering scheme.

And I still don't know what's the upside, except for "that's how Debian doe=
s it"...

-- Damien