Adapt to https://github.com/rocq-prover/rocq/pull/21947#2311

JasonGross merged 1 commit intomit-plv:mastermit-plv/fiat-crypto:masterfrom

proux01:rocq21947proux01/fiat-crypto:rocq21947Copy head branch name to clipboard