cvs commit: ports/lang/mlton Makefile

2011-12-25 Thread Stephen Montgomery-Smith
stephen 2011-12-25 17:24:01 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Log: - Chase math/mingw32-libgmp4 moving to math/mingw32-libgmp. - Bump portrevision. PR: ports/163187 and ports/163520 Submitted by: Naram Qashat R

cvs commit: ports/lang/mlton Makefile ports/lang/mlton/files patch-..-mlton-bootstrap-lib-mlton-include-cenv.h

2010-06-22 Thread Gabor Pali
pgj 2010-06-22 22:08:57 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Added files: lang/mlton/files patch-..-mlton-bootstrap-lib-mlton-include-cenv.h Log: - Unbreak build - Update master sites - Prevent bui

cvs commit: ports/lang/mlton Makefile

2009-06-13 Thread Erwin Lansing
erwin 2009-06-13 10:31:41 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Log: Mark BROKEN: does not build. Revision ChangesPath 1.21 +2 -0 ports/lang/mlton/Makefile ___ cvs-all@freebsd

cvs commit: ports/lang/mlton Makefile distinfo pkg-plist ports/lang/mlton/files add-local-cross ml.grm.sig ml.grm.sml ml.lex.sml mlb.grm.sig mlb.grm.sml mlb.lex.sml patch-Makefile patch-bin-mlton_scri

2008-12-10 Thread Stefan Walter
stefan 2008-12-10 08:44:24 UTC FreeBSD ports repository Modified files: lang/mlton Makefile distinfo pkg-plist Added files: lang/mlton/files add-local-cross ml.grm.sig ml.grm.sml ml.lex.sml mlb.grm.sig mlb.grm.sml

cvs commit: ports/lang/mlton Makefile distinfo pkg-plist ports/lang/mlton/files patch-mlton-Makefile

2008-01-25 Thread Thomas Abthorpe
tabthorpe2008-01-26 01:02:33 UTC FreeBSD ports repository Modified files: lang/mlton Makefile distinfo pkg-plist Added files: lang/mlton/files patch-mlton-Makefile Log: - Update to 20070826 PR: ports/118979 Submitted by: Jesper Louis Ande

cvs commit: ports/lang/mlton Makefile

2007-12-11 Thread Mark Linimon
linimon 2007-12-12 03:22:18 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Log: Hand maintainership over to [EMAIL PROTECTED] While here, pet portlint. Requested by: old maintainer Revision ChangesPath 1.15 +3 -5 ports/lan

cvs commit: ports/lang/mlton Makefile

2006-09-16 Thread Kris Kennaway
kris2006-09-17 02:34:32 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Log: BROKEN except on 6.x: this now appears to be a 6.x binary, and the mythical compat6x port is required to run it on 7.x Revision ChangesPath 1.13 +5 -4

Re: cvs commit: ports/lang/mlton Makefile distinfo

2006-06-29 Thread Daichi GOTO
Ion-Mihai Tetcu wrote: On Thu, 29 Jun 2006 15:09:44 + (UTC) Daichi GOTO <[EMAIL PROTECTED]> wrote: daichi 2006-06-29 15:09:44 UTC FreeBSD ports repository Modified files: lang/mlton Makefile distinfo Log: lang/mlton: removing BROKEN PR: ports/

Re: cvs commit: ports/lang/mlton Makefile distinfo

2006-06-29 Thread Ion-Mihai Tetcu
On Thu, 29 Jun 2006 15:09:44 + (UTC) Daichi GOTO <[EMAIL PROTECTED]> wrote: > daichi 2006-06-29 15:09:44 UTC > > FreeBSD ports repository > > Modified files: > lang/mlton Makefile distinfo > Log: > lang/mlton: removing BROKEN > > PR: ports/99584

cvs commit: ports/lang/mlton Makefile distinfo

2006-06-29 Thread Daichi GOTO
daichi 2006-06-29 15:09:44 UTC FreeBSD ports repository Modified files: lang/mlton Makefile distinfo Log: lang/mlton: removing BROKEN PR: ports/99584 Submitted by: Jesper Louis Andersen <[EMAIL PROTECTED]> Approved by:Stephen Weeks <[EMAIL PR

cvs commit: ports/lang/mlton Makefile

2006-05-21 Thread Kris Kennaway
kris2006-05-21 22:00:28 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Log: BROKEN: Prebuilt binary depends on old version of libgmp Revision ChangesPath 1.11 +2 -0 ports/lang/mlton/Makefile ___

cvs commit: ports/lang/mlton Makefile distinfo pkg-descr pkg-plist

2006-01-05 Thread Pav Lucistnik
pav 2006-01-05 10:05:36 UTC FreeBSD ports repository Modified files: lang/mlton Makefile distinfo pkg-descr pkg-plist Log: - Update to 20051202 PR: ports/90097 Submitted by: Geoffrey Mainland <[EMAIL PROTECTED]> Approved by:maintainer

cvs commit: ports/lang/mlton Makefile

2005-12-17 Thread Kris Kennaway
kris2005-12-17 18:50:53 UTC FreeBSD ports repository Modified files: lang/mlton Makefile Log: BROKEN: Unfetchable Revision ChangesPath 1.7 +2 -0 ports/lang/mlton/Makefile ___ cvs-all@freebsd.org mail

cvs commit: ports/lang/mlton Makefile distinfo pkg-descr pkg-plist

2005-11-30 Thread Edwin Groothuis
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