Code

[3.8] backport #7895#7954

Code

Merged

emillon merged 1 commit intoocaml:3.8ocaml/dune:3.8from emillon:backport-7895emillon/dune:backport-7895Copy head branch name to clipboardJun 15, 2023

+282-85

Commits

Commits on Jun 13, 2023

• [coq] Fix coqlib file scanning.

  Show description for 15cec76
  

  ejgallego

  authored and

  emillon

  committed
  15cec76

  Copy full SHA for 15cec76