Skip to content

Bump dependencies - #24

Open
chandradeepdey wants to merge 2 commits into
arthuraa:masterfrom
chandradeepdey:rocq_bump
Open

chandradeepdey wants to merge 2 commits into
arthuraa:masterfrom
chandradeepdey:rocq_bump

Fix the Nix build for Rocq 9.2

8be2736
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
nix-matrix
succeeded Sep 25, 2026 in 37s