On Mon, 23 Oct 2017 21:03:45 -0400 "Perry E. Metzger" <[email protected]> wrote: > 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?
Oh, and just to be clear, I don't have commit access to the repo, so if I'm going to get assigned ownership, someone else will need to do it for me. Perry > > 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]
