| non port: lang/mlton/pkg-descr |
|
SVNWeb
|
Number of commits found: 6 |
|
Wed, 7 Sep 2022
|
[ 21:58 Stefan Eßer (se)  ]    fb16dfe (Only the first 10 of 27964 ports in this commit are shown above.  )
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)
|
|
Mon, 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)
|
|
Thu, 5 Jan 2006
|
[ 10:05 pav ]
- Update to 20051202
PR: ports/90097
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
Approved by: maintainer
|
|
Thu, 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>
|
|
Fri, 18 Feb 2005
|
[ 23:44 kris ] (Only the first 10 of 366 ports in this commit are shown above. )
As previously announced, remove ports that have reached their expiry date,
and the handful of ports that depended on them.
|
|
Sat, 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 |
As an Amazon Associate I earn from qualifying purchases.