-package delay resolving until -I have been processed#22259

SkySkimmer wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

SkySkimmer:package-delay-resolvSkySkimmer/rocq:package-delay-resolvCopy head branch name to clipboard