8000 [coq] Correctly handle composed stdlib after coq lang 0.8 by ejgallego · Pull Request #9347 · ocaml/dune · GitHub 8000
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

[coq] Correctly handle composed stdlib after coq lang 0.8#9347

Merged
ejgallego merged 1 commit intoocaml:mainfrom
ejgallego:boot_bug
Dec 1, 2023
Merged

[coq] Correctly handle composed stdlib after coq lang 0.8#9347
ejgallego merged 1 commit intoocaml:mainfrom
ejgallego:boot_bug

Commits

Commits on Dec 1, 2023
0