Hi, Le ven. 31 oct. 2025, 12:45, Adrian Bunk <[email protected]> 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. Sorry, J.Puydt >
