ocaml ports need love
Perry E. Metzger
perry at piermont.com
Tue Oct 24 01:03:45 UTC 2017
On Mon, 23 Oct 2017 19:26:59 -0500 Marius Schamschula
<lists at schamschula.com> wrote:
> Since February almost (all?) ocaml ports have been nomaintainer, as
> mww relinquished maintainership.
> 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?
> > On Oct 23, 2017, at 7:20 PM, Perry E. Metzger
> > <perry at piermont.com> 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 perry at piermont.com
> Marius Schamschula
Perry E. Metzger perry at piermont.com
More information about the macports-dev