Code

[3.8] backport #7790 and #7862#7889

Code

Merged

emillon merged 3 commits intoocaml:3.8ocaml/dune:3.8from emillon:backport-7790emillon/dune:backport-7790Copy head branch name to clipboardJun 5, 2023

+63-22

Commits

Commits on Jun 5, 2023

• test(coq): duplicate theory prefix in COQPATH bug

  Show description for 04583e1
  

  Alizter

  authored and

  emillon

  committed
  04583e1

  Copy full SHA for 04583e1

• fix(coq): first theory in COQPATH takes precedence always

  Show description for 2a941ff
  

  Alizter

  authored and

  emillon

  committed
  2a941ff

  Copy full SHA for 2a941ff

• coq: add missing changelog entry

  Show description for e99e272
  emillon

  committed
  e99e272

  Copy full SHA for e99e272