Perry, Since February almost (all?) ocaml ports have been nomaintainer, as mww relinquished maintainership.
See: https://github.com/macports/macports-ports/commit/2e31448cc2f8f2cbf65766288d2a8cafb738e5b8 Volunteers welcome! > On Oct 23, 2017, at 7:20 PM, Perry E. Metzger <[email protected]> wrote: > > Howdy! > > The ocaml ecosystem and everything depending on it is rotting a bit. > See, for example, ticket #52844. We're thus far behind on upgrading > anything downstream, like Coq. > > Thoughts on what we could do to goose this? There's going to be a > need to fix a bunch of stuff in the course of upgrading. > > Perry > -- > Perry E. Metzger [email protected] Marius -- Marius Schamschula
