Le ven. 31 oct. 2025, 12:45, Adrian Bunk <bunk@debian.org> a écrit :
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.
Sigh... I'll need to re-upload the whole lot with your hint... will do next week.