The Coq mailing list

[Bernhard Schommer <bernhardschommer AT gmail.com>]

Dear Michael,

just a small remark, the current repo version of compcert needs an ocaml 
version >= 4.00.

Cheers,
Bernhard Schommer

Am 14.01.2015 um 17:30 schrieb Enrico Tassi:
> On Wed, Jan 14, 2015 at 04:24:18PM +0000, Soegtrop, Michael wrote:
> > One more question: Should ssreflect 1.5 compile fine with Ocaml 4.X?
> > Is Ocaml 3.X or Ocaml 4.X the preferred version?
> It compiles fine with 4.0.1, didn't test with 4.0.2.
> 3.12 is fine too.
>
> > Btw.: ssreflect ist not listed in the Opam package list at
> > https://opam.ocaml.org/packages/ which is another reason why I decided
> The link I gave you is a repository of coq specific packages.
> Opam can fetch from multiple repositories.
>
> Ciao