Skip to content

fix(coq): pass correct flags to coqdep when building boot libs#7942

Closed
Alizter wants to merge 1 commit intoocaml:mainfrom Alizter:ps/branch/fix_coq___pass_correct_flags_to_coqdep_when_building_boot_libs
+9-6

Commits

Commits on Jun 12, 2023