The Coq mailing list

[Matthieu Sozeau <matthieu.sozeau AT inria.fr>]

Hi,

  The issue is known, is server-side and its resolution can be tracked here: https://github.com/coq/opam-coq-archive/issues/730#issuecomment-497441656

Best,

-- Matthieu

Le 30 mai 2019 à 21:01, Gaëtan Gilbert <gaetan.gilbert AT skyskimmer.net> a écrit :

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