[ocaml-platform] [Coq-Club] Coq opam package

[Stefan Monnier]

> 	I have naive questions about possibilities to mitigate the time
> spend by the compilation of Coq. Opam is source-based so you have to compile
> the Coq standard library. Moreover when a dependency of Coq change Opam
> trigger a recompilation of the package. When it is Lablgtk that changed the
> compilation of the standard library is needlessly made again. Lablgtk can
> change often because many C library are optional.

It sounds like maybe Opam would benefit from a more subtle notion of
dependency.


        Stefan