dune is pinned to non-existent versions

[Lysxia]

trafficstars

I'm getting build failures due to pins of dune to version 3.17 which is no longer available on opam. Where are these pins being done and can they be removed? Example: https://app.circleci.com/pipelines/github/QuickChick/QuickChick/999/workflows/8ed9d869-b3d9-459c-99f3-3900ca7c43a2/jobs/6822

[Lysxia]

The removal of opam versions seems to have happened here (two days ago) https://github.com/ocaml/opam-repository/pull/27977 That seems to be an initiative to prune packages from the ocaml opam repository.

[pi8027]

I have the same issue with Elpi in the mathcomp/mathcomp:2.2.0-coq-8.19 and mathcomp/mathcomp:2.3.0-coq-8.19 images. I think that the only robust solution is to add the opam-repository-archive repository, at least for old versions of Coq/Rocq.

[Lysxia]

The opam-repository folks have been quite responsive on this. They've restored the missing dune version (https://github.com/ocaml/opam-repository/pull/28068).

You probably want to ask about unarchiving elpi too.

On the long-term, it looks like opam-repository is happy to not archive packages as long as users speak up, so we won't need to use opam-repository-archive. Just some miscommunication happened so Rocq people missed the opportunity to speak up before they pulled the plug.

There's a discussion of the issue happening here: https://github.com/ocaml/opam-repository/issues/28065

[pi8027]

You probably want to ask about unarchiving elpi too.

Thank you. It worked: ocaml/opam-repository#28076.