On Mon, 23 Oct 2017 19:26:59 -0500 Marius Schamschula <[email protected]> wrote: > 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!
I'll take temporary ownership of the lot if no one else is willing, but please list maintainers as me + openmaintainer, because I have no trouble with others pitching in. It's going to be necessary to add a separate port for ocamlbuild and some other tools in order to do the needed updates. What's the right procedure if several things need to be updated in sync? Perry > > > 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 > > > > -- Perry E. Metzger [email protected]
