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>