Emilio Jesús Gallego Arias

> ie the same way the dumpglob kind stuff is handled Precisely I find the way that stuff is handled very bad!

> I'm not so sure I see the advantage of this approach. The disadvantage is that it makes libobject aware of the APIs of everything else (here you mention the...

New version based on libobject CEP, this can be extended now to all kind of objects, including notations, etc...

Indeed there is little we can do from Coq, this is an OCaml-wide issue and likely there is a bug report in Dune about this (my search was not lucky...

There is also at least one issue on the Dune repos, but I can't seem to find it (likely closed) But yes, the current situation is not good, just that...

> There is also at least one issue on the Dune repos, but I can't seem to find it (likely closed) Oh actually the issue may be the one @Blaisorblade...

This is experimental so people interested in the Dune build can run it, I don't think it affects the regular workflow otherwise yet.

> Couldn't we use the real opam packages instead (and use dune's compositional build stuff?). Yes, in a few days, the compositional stuff is undergoing testing as we speak; so...

Noted, will do @CohenCyril .

This is still waiting on a new Dune release for composition support.