Remove compat coq-core libraries (not executables)#21955

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

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