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: Ralf Jung <jung AT mpi-sws.org>
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 12:36:43 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jung AT mpi-sws.org; spf=Pass smtp.mailfrom=jung AT mpi-sws.org; spf=None smtp.helo=postmaster AT jupiter.mpi-klsb.mpg.de
Ironport-phdr: 9a23:5hElOhPFR2aXVPHJbU0l6mtUPXoX/o7sNwtQ0KIMzox0LPX7rarrMEGX3/hxlliBBdydt6obzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlKiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkaKTA5/mHZhM9+gq1Vrx2upQBwzYHPbYGJNvdzZL/Rcc8USGdDWMtaSixPApm7b4sKF+cPIfxXr43zp1ATqRW+GA+sBOzywTJPhH/2wKs60+s6HAHDxAwgHssCsG/ardXuLqsSVvq1zKbRwDjFcvhY2i/95ZDVfh0vpfyAR698fM7LxUQsFg7JlEicpIz9Mz6a1+kBqXWX4uluWO61lmIrtw98riKsy8oql4LHnJgaykre+iV82Is1JcO3SEp8YdO8EptQqjmaN4pqQsw8WWFkoiM6yqUHuZKifygKzI8nyAXFZ/yCa4iI7QjvW/uPLjtghXJlfqywhwqq/ES9xODxUtO43EtOoyZfkdTBt2oB2wHT58SfT/ty5Eah2TKB1wDJ7eFEJFg5lajGK54nzb49jZ8TsVzCHiPvg0X3grSWel8j+uiy5OTreq/mqYOEN49olgH+NbwjldC4AeQhKwQBQ2yb+fmn27D45k34QLBKjuUsnaXDsZDaI94bpq+jDANP3IYj8UX3MzDz29MB2HIDMVhteRSdjoGvNUudDur/CKKFilCi2BV2wf+Oar/8BJrlK2DC1az+ZvB68UEKm1l79sxW+58BUuJJG/n0QEKk7IWJXC98CBS9xqPcMPs404ofXWyVBarAa/HXqV7N/f00Ze6Wa91M4WqvG70e//fryEQBtxoFZ6DwhskScHH9Bet9ZUKDbii024pTISIxpgM7CdfSphiCXDpUPSvgXb8k5y02EsSjFYaGRYS2ivqExCj9EpAEPm0=

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