From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 E04CD7F72A for ; Fri, 12 Aug 2016 17:57:24 +0200 (CEST) IronPort-PHdr: 9a23:8J1b7xQ1Xfp5pbNrn0f7rfVD8tpsv+yvbD5Q0YIujvd0So/mwa65YBaN2/xhgRfzUJnB7Loc0qyN4vmmADRLscvJ8ChbNscdD1ld0YRetjdjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbshsi6n9q/54fUK10RwmHsOPUrdF7m8E2R7pBQ2to6bP5pi1PgmThhQ6xu32RmJFaezV7Xx/yb29pdyRlWoO8r7MVaUK/3LOwSRL1cCyk6YShuvJW4/TGKdwaE52MdX2MKiVIIRlGdtFCpFqv25wv3sOZn2SrSF8rxSPhgWTmk471qSzf0jz8ANngh92bOzMd3ifQf6Fiqrhl7horVe529Nfxkf6qbc8lQDT5KV8NVEihAGZ+Ubo0VDuNHM/wO/KfnoF5bgRKgBAXkLefr0ThQnjei0bczluIsDhru2QE8FskSuX/X6t7yMfFBAqiO0KDUwGCbPLtt0jDn5d2NK0h5rA== 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@outmail149101.authsmtp.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of dra-news@metastack.com) identity=pra; client-ip=62.13.149.101; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of dra-news@metastack.com designates 62.13.149.101 as permitted sender) identity=mailfrom; client-ip=62.13.149.101; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="dra-news@metastack.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@outmail149101.authsmtp.com) identity=helo; client-ip=62.13.149.101; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="dra-news@metastack.com"; x-sender="postmaster@outmail149101.authsmtp.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AXAQBq8a1Xh2WVDT5egxiBA3wBBqQdBpUDgX0mhXcCgUU5EwEBAQEBAQEBEQEBAQoLCQkZL4IyBAETAYITAQEFfgsCAQgYLjIlAgQBGogqAwEJvzYBAQgBAQEBASKFYoUVhEKDKoIvBY5SimqGHoh3CoIvjQqMNYN4HwGCV4FXbgGGK38BAQE X-IPAS-Result: A0AXAQBq8a1Xh2WVDT5egxiBA3wBBqQdBpUDgX0mhXcCgUU5EwEBAQEBAQEBEQEBAQoLCQkZL4IyBAETAYITAQEFfgsCAQgYLjIlAgQBGogqAwEJvzYBAQgBAQEBASKFYoUVhEKDKoIvBY5SimqGHoh3CoIvjQqMNYN4HwGCV4FXbgGGK38BAQE X-IronPort-AV: E=Sophos;i="5.28,511,1464645600"; d="scan'208";a="187527145" Received: from outmail149101.authsmtp.com ([62.13.149.101]) by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Aug 2016 17:57:24 +0200 Received: from mail-c232.authsmtp.com (mail-c232.authsmtp.com [62.13.128.232]) by punt24.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u7CFvMBh061336; Fri, 12 Aug 2016 16:57:22 +0100 (BST) Received: from romulus.metastack.com (114.212-105-213.static.virginmediabusiness.co.uk [213.105.212.114]) (authenticated bits=0) by mail.authsmtp.com (8.14.2/8.14.2/) with ESMTP id u7CFvHkv091045 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 12 Aug 2016 16:57:20 +0100 (BST) Received: from remus.metastack.local (remus.metastack.com [172.16.0.1]) by romulus.metastack.com (8.14.2/8.14.2) with ESMTP id u7CFvESq005907; Fri, 12 Aug 2016 16:57:15 +0100 Received: from Remus.metastack.local ([fe80::547c:3c42:e1da:eda2]) by Remus.metastack.local ([fe80::547c:3c42:e1da:eda2%10]) with mapi id 14.03.0301.000; Fri, 12 Aug 2016 16:57:14 +0100 From: David Allsopp To: Hendrik Boom , "caml-list@inria.fr" Thread-Topic: [Caml-list] Debian's version-numbering convention Thread-Index: AQHR9Km8nrs//oK4o0q18pOn29O5CaBFefUg Date: Fri, 12 Aug 2016 15:57:13 +0000 Message-ID: References: <3F86857B-79DC-4FCE-8727-691C23120C3F@inria.fr> <20160809142412.GA12056@frosties> <1038B4FD-B561-413E-885A-8EAE00AC31FD@inria.fr> <20160812145615.GA12840@topoi.pooq.com> In-Reply-To: <20160812145615.GA12840@topoi.pooq.com> Accept-Language: en-GB, en-US Content-Language: en-US X-MS-Has-Attach: X-MS-TNEF-Correlator: x-originating-ip: [172.16.0.29] Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable MIME-Version: 1.0 Organization: MetaStack Solutions Ltd. X-Scanned-By: MIMEDefang 2.65 on 172.16.0.20 X-Server-Quench: 74041034-60a5-11e6-829e-00151795d556 X-AuthReport-Spam: If SPAM / abuse - report it at: http://www.authsmtp.com/abuse X-AuthRoute: OCd1ZAARAlZZVg1f DC4bFwdFRBksPQFF ChxFJgxfNl8UURhQ KkJXbgASJgRGAnhE VHkJW1VSQFx3U2Zy YQhQIwdcYVRPXwB0 UklLXFNTEBpqBAMA SFsZIW80D14AeHdx ZUJnEHVaWkw0ckJ9 Rk9UFmkbY2cxbX0e URVeagtWeVZXfh9E b1F4XXZZZGABKBgV TUcAFDk0OXBbKT9J d0khIFgTSEBEBXYi SgoZHDIpWEsYQi8+ NR0gJRYXG0APP0Mu MFwnMf9/ X-Authentic-SMTP: 61633634383431.1037:706 X-AuthFastPath: 0 (Was 255) X-AuthSMTP-Origin: 213.105.212.114/25 X-AuthVirus-Status: No virus detected - but ensure you scan with your own anti-virus system. Subject: RE: [Caml-list] Debian's version-numbering convention Hendrik Boom wrote: > On Thu, Aug 11, 2016 at 05:10:15PM +0200, Damien Doligez wrote: > > > > > In Debian "~" is used to denote versions smaller than, e.g. > > > 4.04.0~beta1, 4.04.0~rc4 while "+" is for versions larger than, e.g. > > > 4.03.0+bugfix7. Would it be possible to adapt the same for ocaml > > > versions? > > > > No. We have a well-defined syntax for version numbers and we can't > > change it without breaking an unknown number of tools. > > > > -- Damien >=20 > Yet on Fri, Aug 12, 2016 at 02:25:17PM +0200, Gr=E9goire Henry wrote: > > > Two questions: > > > > > > 1. Does OPAM really implement the Debian spec for comparing version > > > numbers$ > > > > Yes. > > >=20 > This accords with the ocaml spec: That's the OPAM spec, not the OCaml spec! > http://opam.ocaml.org/doc/Manual.html#version-ordering >=20 > This suggests that any package-handling packages that don't handle "~" > in the Debian way need to be fixed, possibly even old versions. It's not > a matter of compatibility; it's a matter of error. That's true if you're handling OPAM package versions, but the OCaml version= number is defined differently in http://caml.inria.fr/pub/docs/manual-ocam= l/libref/Sys.html#VALocaml_version. David