Skip to content

fix: build smpl against matching Rocq version (9.1)

16f6ff2
Select commit
Loading
Failed to load commit list.
Draft

chore: upgrade Rocq 9.0 → 9.1 #30

fix: build smpl against matching Rocq version (9.1)
16f6ff2
Select commit
Loading
Failed to load commit list.