Are there any news on this proposal?
To me it feels like the backward compatibility section has a flaw, namely:
I think what will most likely happen is a that half the system will understand exports (e.g. ocamlfind, dune), and the other half won’t have been aware of its existence (older packages with META files written by hand).
Therefore, i think it should be added in this section that:
If the
exportsfield is missing, therequiredfield must restore to its previous meaning/behaviour.