Synopsis: [patch] Update: lang/fsharp to 3.0.25 Responsible-Changed-From-To: freebsd-bugs->freebsd-ports-bugs Responsible-Changed-By: pgj Responsible-Changed-When: Tue Feb 5 12:00:45 UTC 2013 Responsible-Changed-Why: Fix category and (initial) responsible. http://www.freebsd.org/cgi/query-pr.cgi?pr=175859