On Mon, 13 Jun 2016 17:51:28 +1200 m...@extensibl.com wrote: <..> > Port archive is attached. <..>
I have fixed Makefile patch, so the installer does not gzip man pages anymore. Updated port archive is attached. All changes could be tracked at [1]. [1]: https://github.com/extensibl/ports Best, Alex
mlton.tar.gz
Description: application/gzip