ocaml ports need love

Marius Schamschula lists at schamschula.com
Tue Oct 24 00:26:59 UTC 2017


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 <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




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.macports.org/pipermail/macports-dev/attachments/20171023/9885963b/attachment.html>


More information about the macports-dev mailing list