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:
> 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
> > <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
> --
> Marius Schamschula
>
>
>
>
--
Perry E. Metzger perry at piermont.com
More information about the macports-dev
mailing list