coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file

From: Enrico Tassi <enrico.tassi AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file
Date: Wed, 14 Jan 2015 17:30:02 +0100

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
--
Enrico Tassi

[Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Soegtrop, Michael, 01/14/2015
- Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Enrico Tassi, 01/14/2015
  - RE: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Soegtrop, Michael, 01/14/2015
    - Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Enrico Tassi, 01/14/2015
      - RE: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Soegtrop, Michael, 01/14/2015
        
        Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Enrico Tassi, 01/14/2015
        
        Re: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Bernhard Schommer, 01/14/2015
        
        RE: [Coq-Club] Errors compiling ssreflect 1.5 using Ocaml 4.01.0 - Question on ssreflect INSTALL file, Soegtrop, Michael, 01/15/2015