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, Théo Zimmermann <theo.zimmi AT gmail.com>
Subject: Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0
Date: Sun, 21 Oct 2018 18:22:39 +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 juno.mpi-klsb.mpg.de
Ironport-phdr: 9a23:V3cdFRSNj18mHc3jm/fCvAOgf9psv+yvbD5Q0YIujvd0So/mwa69ZhCN2/xhgRfzUJnB7Loc0qyK6/+mATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbF/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/nzJhMx+jKxVoxyvqBJwzIHWfI6bO+Fzfr/ecN4AWWZNQshcWi5HD4ihb4UPFe0BPeNAoofhvVQOqRW+DhSoCuPyzD9IiWL90Ko40+Q8FwHG0xctH9cWsHTVtdn1L6kTUfuvwKnP1zXDYOpb1DHg44bLahAsueyAULx0fMbL1EUiExnJg1aRpID/MD6ZyvwBvmuF4+Z6SO6jlmAqpxt1rzWr3MshjpfFi4QIwV7e7yp52pw6JdigRU57f9GkFJxQujmYN4trRMMiRHtkuCMiyr0HoJK7fywKyI88yBLFbvyHa4eI7gj+W+mPOTt4hXRld6yjhxuq7EStxOnxWtOp3FtOtCZIkdjBumoC2hDP8sSHT+Fy/kal2TaBzQDT7eRELFg2larGLZ4hzaU9lp8LsUTCByP2g0v3jLSMekUj4Oio5PzrYq/6qZ+EK490lgb+P7wylcy4GOQ0KxQBX2yG+eunz7Dj5k34QLBSjvIsiKXZsZbaJd4apqGjGQNV3JwjuF6DCGKt181dln0aJnpEfgiGhs7nIRWGHPB5CsCNglGpnS1uzvbAdun9ApjKaGrClbLgVbl44k9YjgE0yIYMyYhTD+Q7Kfb9Em3sstOQWh0kNQOcxv7mTc5izcUZQ23ZUfzRC7/brVLdvrFnGOKLfoJA4G+sechg3ObniDoCoXFYeKCo2ZUNb3XhRaZjO0TcemX3xNAbHjVT51ZsfKnRkFSHFAVrSTOqRatlvWM+EIPjFpjYAIe3j+7ZhXrpLthtfmlDT2u0PzLoeoGDAa1eaj+UJYlkij1BVry6QckkzR7ouAKok7c=

Hi,

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

Mostly to save tons of time and space. I have plenty of switches.

; Ralf

>
> Best,
> Théo
>
> Le sam. 22 sept. 2018 à 12:38, Ralf Jung
> <jung AT mpi-sws.org
> <mailto: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
>

Re: [Coq-Club] [ANN] Raising the minimal OCaml version for Coq 8.10 to 4.05.0, Ralf Jung, 10/21/2018