Skip to content

Chore: support rocq-stdlib=9.0.0 - #36

Merged
cpitclaudel merged 1 commit into
mainfrom
aurele/9.1.0
Jun 15, 2026
Merged

Chore: support rocq-stdlib=9.0.0#36
cpitclaudel merged 1 commit into
mainfrom
aurele/9.1.0

Chore: support rocq-stdlib=9.0.0

8f41461
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check Linden (9.2.0)
succeeded Jun 15, 2026 in 8m 17s