Date: Thu, 1 Dec 2005 01:56:43 +0000 (UTC) From: Edwin Groothuis <edwin@FreeBSD.org> To: ports-committers@FreeBSD.org, cvs-ports@FreeBSD.org, cvs-all@FreeBSD.org Subject: cvs commit: ports/lang/mlton Makefile distinfo pkg-descr pkg-plist Message-ID: <200512010156.jB11uiNP092377@repoman.freebsd.org>
next in thread | raw e-mail | index | archive | help
edwin 2005-12-01 01:56:43 UTC
FreeBSD ports repository
Added files:
lang/mlton Makefile distinfo pkg-descr pkg-plist
Log:
RESURRECT PORT: lang/mlton
Although Stephen Weeks was the original maintainer of this
port and still should be (unless he'd prefer not to be, in
which case I volunteer), I made the first push to get this
port included and will commit to resolving any problems
that crop up from here on out. I think it's important to
have MLton in the ports tree as it is a great ML compiler.
The new lang/twelf port would also benefit, as it is a good
bit faster when compiled with MLton :)
PR: ports/89684
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
Revision Changes Path
1.6 +133 -0 ports/lang/mlton/Makefile (new)
1.3 +6 -0 ports/lang/mlton/distinfo (new)
1.3 +9 -0 ports/lang/mlton/pkg-descr (new)
1.3 +560 -0 ports/lang/mlton/pkg-plist (new)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200512010156.jB11uiNP092377>