8000 Create (stdlib) syntax for Coq stanza by LasseBlaauwbroek · Pull Request #6164 · ocaml/dune · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Create (stdlib) syntax for Coq stanza#6164

Merged
ejgallego merged 2 commits intoocaml:mainfrom
LasseBlaauwbroek:stdlib-no
Oct 4, 2022
Merged

Create (stdlib) syntax for Coq stanza#6164
ejgallego merged 2 commits intoocaml:mainfrom
LasseBlaauwbroek:stdlib-no

Commits

Commits on Oct 4, 2022
0