The Coq mailing list

[Ralf Jung <jung AT mpi-sws.org>]

Hi Jeremy,

std++ 1.3 is compatible with Coq 8.8.2 (and even with Coq 8.7.2), so that 
cannot
be the problem.  It looks like your package definitions are quite outdated,
given that it cannot even find Coq 8.11.0.  Did you try "opam update"?

Kind regards,
Ralf

On 23.03.20 03:26, Jeremy Dawson wrote:
> 
> Hi,
> 
>  > This release of the std++ library adds support for Coq 8.11 and is 
> available in Coq's opam repository.
> 
> At present I have Coq 8.8.2 on my machine, and I don't know what version 
> of the standard library.  How do I find that out?
> How do I install a new version of the standard library (ie what do I do 
> to make use of the fact that it is "available in Coq's opam repository"?
> 
> Trying opam install coq-stdpp seems to start installing coq-stdpp 1.1.0
>   which I assume is not what I want.
> 
> In any event I assume I have to upgrade to Coq 8.11 to make use of it, 
> would that be right?
> 
> I've tried to do that, following instructions at 
> https://coq.inria.fr/opam-using.html but part way through I get
> 
> [jeremy@localhost sysadmin]$ opam pin add coq 8.11.0
> [ERROR] Package coq has no known version 8.11.0 in the repositories
> 
> What do I need to do?
> 
> Thanks
> 
> Jeremy
> 

-- 
Website: https://people.mpi-sws.org/~jung/