The Coq mailing list

[Jeremy Dawson <Jeremy.Dawson AT anu.edu.au>]

Hi Dominique,

thanks for your reply -

no I didn't do opam update (since it was a new computer and the first 
time I had ever used opam on it, I can't imagine that should have been 
necessary)

However I installed the Fedora package for OCaml which is
ocaml-4.11.1-2.fc34.x86_64
and then was able to install coq successfully using opam.

So I'm afraid I don't know what I would have got from opam show coq 
before doing that.

So everything works OK now

Thanks for your help,

Jeremy

On 11/5/21 7:14 pm, Dominique Larchey-Wendling wrote:
> Hi Jeremy,
>
> Did you opam update?
> Did you check your Ocaml version which has to be compatible with this
> (not so old but still) version of Coq? (opam switch)
>
> opam show coq should give you the different versions
> available for your current compiler.
>
> Maybe install an Ocaml compiler from scratch (opam switch create ...)
>
> Best,
>
> Dominique
>
> ----- Mail original -----
> > De: "jeremy dawson" <Jeremy.Dawson AT anu.edu.au>
> > À: "coq-club" <coq-club AT inria.fr>
> > Envoyé: Mardi 11 Mai 2021 09:21:08
> > Objet: [Coq-Club] installing coq
>
> > Hi,
> >
> > using the instructions at https://coq.inria.fr/opam-using.html,
> >
> > trying to install Coq, I get the following:
> >
> > jeremy@cecs-040571:~$ opam pin add coq 8.11.2
> > coq is now pinned to version 8.11.2
> >
> > Sorry, no solution found: there seems to be a problem with your request.
> >
> > [NOTE] Pinning command successful, but your installed packages may be out of
> >         sync.
> >
> > (and it would appear nothing has been installed).
> >
> > What does this mean and how do I get any useful information about what
> > has gone wrong and what to do about it?
> >
> > thanks
> >
> > Jeremy