coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0
Date: Sat, 22 Sep 2018 13:06:38 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vs1-f52.google.com
Ironport-phdr: 9a23:wsTOMhbX1gcQZjrHZvtZ5kr/LSx+4OfEezUN459isYplN5qZoMy4bnLW6fgltlLVR4KTs6sC17KJ9fi4EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCa/bL9oMBm6sRjau9ULj4dlNqs/0AbCrGFSe+RRy2NoJFaTkAj568yt4pNt8Dletuw4+cJYXqr0Y6o3TbpDDDQ7KG81/9HktQPCTQSU+HQRVHgdnwdSDAjE6BH6WYrxsjf/u+Fg1iSWIdH6QLYpUjmk8qxlSgLniD0fOjE2/mHYiMx+gqxYrhy8uRJw35XZb5uJOPdkZK7RYc8WSGhHU81MVyJBGIS8b44XAuQfPeZftY79qEMNohu/AAmsAf3gyiVNhnDs26061fkqHAba3AwgAd0Ot27YrdT0NKcXVOC1zbLFzTrGb/xM2Df97JLEfQwmofGJRL99d9fax0o3Fw7dkFmctYjoMymW2+kNqWSX8fdsWOC1h2MntQ18pCWkyN02hYnTnI0Vz0jJ9SVnz4YxIt21UEt7bsSlEJtUri2aKZB2Tt47T2FmuCs21KcKuZG8fCgNx5QnwwDQZ+abfIiP5xLvTOeRITFmi3J5YL+zmQq+/Ey6xuD/VsS4ykhGojdHn9XWtn0ByQTf6s2dRft8+keh1yyP1wfW6uxcPUA0lbTUK5k7zr8xl5oTtEHDHi7tlUX5ia+ZbEQk+uyy5+v7ZbXmo4eQN5VohQHmLqQuhsu/DPwkPQgJRmiX4Piz1Ln+/ULiW7hKlf03kqzBsJ/AP8gbp6i5AxVU0ok58Rq/AS2mg5wkmiwMK0sAcxaahaDoPUvPKbb2F6SRmVOpxQtrRvfxDLzkB5jXK3HFlv+1YbZw7AhOyQ82zPhQ4ptVDvcKJ/elCRy5j8DREhJsa1/8+O3gEtgojtpPC1LKObeQNebpiXHN4+suJ+eWY4pM4WTyLvEk47jlinprwAZBL5ns5oMebTWDJtojO1+QOCO+jdIIEGNMtQ07HrSz1Q+yFAVLbnP3ZJoSozE2DIX8UNXGT4GpxaKahWK1Q8cQaWdBBVSBV3zvctfcVg==

Hi,

Emilio meant: at the time of the release of Coq 8.10, Debian Buster will be the new stable version and it contains indeed OCaml 4.05. Unfortunately, given that Debian doesn't announce clear release dates, it is not clear that Debian Buster will really be the new stable at the time of the release of Coq 8.10. Note that we have already proceeded like this in the past: bumping the minimum required version of OCaml for the development version before the release of Debian with the corresponding version.

Side question: why do you recommend using the system compiler with OPAM?

Best,

Théo

Le sam. 22 sept. 2018 à 12:38, Ralf Jung <jung AT mpi-sws.org> a écrit :

Hi,

> OPAM users will see little change. For Ubuntu / Debian users, it will
> mean that they will have to use the latest stable distribution [or
> resort to OPAM] Most other distributions have already catch up with
> 4.05.0

That's not correct, latest Debian stable has OCaml 4.02.3

Also, many OPAM users (I think) will be impacted by this: The default behavior
of OPAM (and the one I personally usually recommend) is to use the system OCaml.

Kind regards,
Ralf

[Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Emilio Jesús Gallego Arias, 09/19/2018
- Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Ralf Jung, 09/22/2018
  - Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Théo Zimmermann, 09/22/2018
    - Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Emilio Jesús Gallego Arias, 09/22/2018
      - Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Bernhard Schommer, 09/24/2018