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

JasonGross merged 1 commit into

mit-plv:mastermit-plv/fiat-crypto:masterfrom

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