8000 dune coq top: add --no-build option to avoid building dependencies by Alizter · Pull Request #7380 · ocaml/dune · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

dune coq top: add --no-build option to avoid building dependencies#7380

Merged
ejgallego merged 1 commit intoocaml:mainfrom
Alizter:ps/branch/dune_coq_top__add___no_build_option_to_avoid_building_dependencies
Apr 3, 2023
Merged

dune coq top: add --no-build option to avoid building dependencies#7380
ejgallego merged 1 commit intoocaml:mainfrom
Alizter:ps/branch/dune_coq_top__add___no_build_option_to_avoid_building_dependencies

Commits

Commits on Apr 3, 2023
0