But apparently the work has stopped: Opam packages: be honest with your dependencies - #16 by dbuenzli