Hi, it looks wrong that the coq rdeps are currently built against coq/sid.
Experimental prefers packages from sid when they fulfill the build dependencies, a build dependency on "coq (>= 9)" would be needed for building against coq/experimental. If that is surprising, think of the effects of other packages in experimental on your package if experimental was preferred - like none of the coq packages could fulfill its build dependencies against ocaml/experimental. cu Adrian
