The Coq mailing list

[Gaëtan Gilbert <gaetan.gilbert AT skyskimmer.net>]

I mean the "opam repo" command

Gaëtan Gilbert

On 30/05/2019 20:56, Xuanrui Qi wrote:
> I'm using opam 2.0.4. I'm not sure what you mean by "what does the repo
> say", but if I `ls .opam/repo/coq-released/packages/coq-mathcomp-
> ssreflect/` then the only versions that come up are:
>
> coq-mathcomp-ssreflect.1.6    coq-mathcomp-ssreflect.1.6.2  coq-
> mathcomp-ssreflect.1.7.0
> coq-mathcomp-ssreflect.1.6.1  coq-mathcomp-ssreflect.1.6.4  coq-
> mathcomp-ssreflect.1.8.0
>
> Trying `opam update` multiple times did not help.
>
> Xuanrui
>
> On Thu, 2019-05-30 at 11:33 +0200, Gaëtan Gilbert wrote:
> > What's your opam version? What does opam repo say?
> >
> > Gaëtan Gilbert
> >
> > On 30/05/2019 11:30, Xuanrui Qi wrote:
> > > Hello all,
> > >
> > > When I browse the coq-released OPAM repo in a browser, I see that
> > > the
> > > latest version of coq-mathcomp-ssreflect is 1.9.0 (
> > > https://coq.inria.fr/opam/released/packages/coq-mathcomp-ssreflect/coq-mathcomp-ssreflect.1.9.0/opam
> > > ). However, when I do:
> > >
> > > opam update
> > > opam install coq-mathcomp-ssreflect
> > >
> > > It installs v1.8.0 of the package. I've tried specifying version
> > > 1.9.0,
> > > but it just complains that:
> > >
> > > [ERROR] Package coq-mathcomp-ssreflect has no version 1.9.0.
> > >
> > > When I go into ~/.opam/repo/coq-released/packages/coq-mathcomp-
> > > ssreflect, I see there's indeed no 1.8.0. Re-running `opam update`
> > > or
> > > purging and re-adding the repo doesn't help. There seems to be some
> > > sort of inconsistency there.
> > >
> > > Is anyone experiencing the same problem at the moment?
> > >
> > > -Xuanrui