Re: MLton Homebrew package (Mac OS X)?

Matthew Fluet <[email protected]> Sun, 6 Mar 2016 14:07:06 -0500

Newsgroups	gmane.comp.lang.ml.mlton.user
Message-ID	<CAMrhFL5FSpqKOjoRKsbgZdn4_PGLCsygpJUsij9HKXCweuuUqA@mail.gmail.com>

On Sat, Jan 16, 2016 at 10:35 AM, Adam Chlipala <[email protected]> wrote:
> Excellent; thanks!  I've updated the main urweb repo to also use the new
> official package.
>
> I'm going to start a discussion now in this issue, about getting a MLton
> package again in the default Homebrew namespace:
>      https://github.com/Homebrew/homebrew/issues/21780

MLton is now available through Homebrew:
https://github.com/Homebrew/homebrew/pull/48694

-- 
You received this message because you are subscribed to the Google Groups "MLton-user" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].


------------------------------------------------------------------------------