Adapt to rocq-prover/rocq#21987 (secvar status)#533

samuelgruetter merged 1 commit into

mit-plv:mastermit-plv/bedrock2:masterfrom

SkySkimmer:context-secvarSkySkimmer/bedrock2:context-secvarCopy head branch name to clipboard