kami
kami copied to clipboard
Adapt to https://github.com/rocq-prover/rocq/pull/17876
Adapt to https://github.com/rocq-prover/rocq/pull/17876
Sorry, apparently my previous attempt was incomplete. At least this time CI on the upstream PR seems to confirm we are good.