ports/170490: fix port: math/proofgeneral

bdrewery at FreeBSD.org bdrewery at FreeBSD.org
Fri Nov 30 19:21:25 UTC 2012

Previous message: ports/174021: Port sysutils/coreutils won't build when NLS is disabled
Next message: ports/174022: [PATCH] games/gnurobots: Added OptionsNG, license, desktop entry, icon, take maintainership
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synopsis: fix port: math/proofgeneral

Responsible-Changed-From-To: bdrewery->freebsd-ports-bugs
Responsible-Changed-By: bdrewery
Responsible-Changed-When: Fri Nov 30 13:21:24 CST 2012
Responsible-Changed-Why: 
Return to the pool

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

Previous message: ports/174021: Port sysutils/coreutils won't build when NLS is disabled
Next message: ports/174022: [PATCH] games/gnurobots: Added OptionsNG, license, desktop entry, icon, take maintainership
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list