Ali Caglayan

In [Getting Started](https://erratique.ch/software/cmdliner/doc/tutorial.html) there is a typo. This ```ocaml let cmd = Cmd.v (Cmd.info "revolt") revolt_t ``` should probably be this: ```ocaml let revolt_cmd = Cmd.v (Cmd.info "revolt") revolt_t ```

feature(coq): coq macro

7

This is a continuation of #5967. The difference here is that the extra variables have been removed in a following commit. We now only expose: Coq configuration variables: ```ocaml %{coq:coqlib}...

remove .aux targets from coqc rule

7

We stop declaring .aux files as targets in the coqc rules. .aux files are simply a "cache" recording a runtime estimation for the STM (the thing that let's Coq process...

feature(coq): coq macro

6

We add an interface for the configuration values of Coq. This is important as it allows us to have version specific code. As a secondary we can expose it to...

feature(coq): generate plugin deps from plugins field in stanza

17

We add the dependencies on plugins using the ones declared in the dune file. Currently we require the user to add their ml libraries in the plugins field of the...

dune 3.0 crashes badly when doing dune build -w, and dune clean in same repo

3

In my workflow I have dune building in the background with a watch. If I do a dune clean it crashes badly. ## Expected Behavior For dune clean to work,...

When using `dune fmt` with `--disable-promotion` passed, you would expect that no promotion is performed. However this is not the case. Dune version: 3.3.0