Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.6 and Ocaml 4.06

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.6 and Ocaml 4.06


Chronological Thread 
  • From: Pierre Courtieu <pierre.courtieu AT gmail.com>
  • To: Coq Club <coq-club AT inria.fr>
  • Cc: Gabriel Scherer <gabriel.scherer AT gmail.com>, Benedikt Ahrens <benedikt.ahrens AT gmail.com>
  • Subject: Re: [Coq-Club] Coq 8.6 and Ocaml 4.06
  • Date: Thu, 23 Nov 2017 17:55:58 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=pierre.courtieu AT gmail.com; spf=Pass smtp.mailfrom=pierre.courtieu AT gmail.com; spf=None smtp.helo=postmaster AT mail-oi0-f65.google.com
  • Ironport-phdr: 9a23:Pp/DuRVUU4Mj0vgGEphJueIH2v3V8LGtZVwlr6E/grcLSJyIuqrYZR2At8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aMlzFOAF0PuX4HJLJx4Tyjrjqus6bXwIdrz2kKZh2MR/++Q7Wr4wdhZZoAqc30BrA5HVSLbd432RtcGqSkgzm64+b+4N57yVdprp1789NS7/3Oa8/UKZEDTk7G28w7czv8xLESF3ctTMnTmwKn08QUED+5xbgU8K063Oiuw==

Calling it 8.6.2 would indeed be misleading, but isn't a
"compiler-compatibility" release necessary anyway?

Best
Pierre


2017-11-23 17:28 GMT+01:00 Théo Zimmermann
<theo.zimmi AT gmail.com>:
> Indeed. Releasing a 8.6.2 would make no sense because this branch has not
> been maintained so it would send a wrong signal, but there is a v8.6 branch
> that would be ready to receive a patch making it compile with OCaml 4.06 (I
> prefer the lighter solution BTW). Even older branches like v8.5 could
> receive such a patch.
>



Archive powered by MHonArc 2.6.18.

Top of Page