Adapt to rocq-prover/rocq#21955 (rm coq-core libraries)#36

SkySkimmer merged 1 commit into

rocq-community:masterrocq-community/stalmarck:masterfrom

SkySkimmer:rm-coreSkySkimmer/stalmarck:rm-coreCopy head branch name to clipboard