ports/124061: [patch]: lang/mlton (new features)

stefan at FreeBSD.org stefan at FreeBSD.org
Mon Oct 20 09:42:09 UTC 2008

Previous message: ports/124061: [patch]: lang/mlton (new features)
Next message: ports/128195: Patch to the latest time zone date for java/jdk16
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synopsis: [patch]: lang/mlton (new features)

Responsible-Changed-From-To: freebsd-ports-bugs->stefan
Responsible-Changed-By: stefan
Responsible-Changed-When: Mon Oct 20 09:41:53 UTC 2008
Responsible-Changed-Why: 
Track this.

http://www.freebsd.org/cgi/query-pr.cgi?pr=124061

Previous message: ports/124061: [patch]: lang/mlton (new features)
Next message: ports/128195: Patch to the latest time zone date for java/jdk16
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list