There's a rocq-stdlib package in the standard OPAM repository, https://opam.ocaml.org/packages/rocq-stdlib/ , which is stuck at version 9.0.0, and another package in the Rocq repository, https://rocq-prover.org/p/rocq-stdlib/latest, which is at version 9.1.0.
This is unfortunate: Rocq users run into different issues if they use only the standard OPAM repository (and get an old version of the stdlib) or if they also use the Rocq repository (and get a newer version). See AbsInt/CompCert#580 for an example.
Please keep the OPAM repository package https://opam.ocaml.org/packages/rocq-stdlib/ up to date. Or remove it entirely. But don't keep an outdated version there.
There's a rocq-stdlib package in the standard OPAM repository, https://opam.ocaml.org/packages/rocq-stdlib/ , which is stuck at version 9.0.0, and another package in the Rocq repository, https://rocq-prover.org/p/rocq-stdlib/latest, which is at version 9.1.0.
This is unfortunate: Rocq users run into different issues if they use only the standard OPAM repository (and get an old version of the stdlib) or if they also use the Rocq repository (and get a newer version). See AbsInt/CompCert#580 for an example.
Please keep the OPAM repository package https://opam.ocaml.org/packages/rocq-stdlib/ up to date. Or remove it entirely. But don't keep an outdated version there.