Skip to content

Adapt to Rocq PR # 20985 (backward compatible hint)

fb7760d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Adapt to Rocq PR # 20985 (backward compatible hint) #237

Adapt to Rocq PR # 20985 (backward compatible hint)
fb7760d
Select commit
Loading
Failed to load commit list.
rocq-core
succeeded Feb 18, 2026 in 1m 15s