Pushing the opam-repository into a sustainable repository (via dmbaturin) — discussion

#ml