non port: lang/mlton/pkg-descr |
Number of commits found: 6 |
Wednesday, 7 Sep 2022
|
21:58 Stefan Eßer (se)
Remove WWW entries moved into port Makefiles
Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.
This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.
Approved by: portmgr (tcberner)
fb16dfe |
Monday, 18 Feb 2013
|
18:22 rm
- fix build with newer math/gmp in ports tree. Newer versions of gmp do not
define __gmp_const. This patch addresses the compile time errors with an
ifndef.
while here:
- trim Makefile header
- remove indefinite article from COMMENT
- remove deprecated attribution from pkg-descr and make tab -> space change
in WWW field
PR: 176229
Submitted by: Timothy Beyer <beyert@cs.ucr.edu>
Approved by: maintainer (implicit, because the port was broken)
|
Thursday, 5 Jan 2006
|
10:05 pav
- Update to 20051202
PR: ports/90097
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
Approved by: maintainer
|
Thursday, 1 Dec 2005
|
01:56 edwin
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>
|
Friday, 18 Feb 2005
|
23:44 kris
As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.
|
Saturday, 21 Aug 2004
|
15:42 thierry
Add mlton 20040227, an optimizing Standard ML compiler.
PR: 44295
Submitted by: Stephen Weeks
|
Number of commits found: 6 |