Closed emillon closed 7 years ago
A subpackage with depopts is not perfect here, but I don't think that tooling around multi-opam repos is mature yet. We'll probably move to that later though.
A subpackage with depopts is not perfect here, but I don't think that tooling around multi-opam repos is mature yet. We'll probably move to that later though.