Skip to content
GitLab
Explore
Sign in
Dune build compatible with Rocq 9.0.0.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
Dune build compatible with Rocq 9.0.0.
Rodolphe Lepigre
requested to merge
rodolphe/dune-rocq
into
master
Apr 26, 2025
Overview
8
Commits
1
Pipelines
1
Changes
4
Merge request reports
Loading