coq rdeps in experimental build against coq/sid
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
Reply to: