Adapt to https://github.com/rocq-prover/rocq/pull/21478#149
Merged
palmskog merged 1 commit intouwplse:masterfrom Jan 27, 2026
Merged
Adapt to https://github.com/rocq-prover/rocq/pull/21478#149palmskog merged 1 commit intouwplse:masterfrom
palmskog merged 1 commit intouwplse:masterfrom
