ports/170490: fix port: math/proofgeneral

bdrewery at FreeBSD.org bdrewery at FreeBSD.org
Sun Mar 17 01:32:23 UTC 2013

Previous message: ports/177039: [PATCH] games/cre: OptionsNG, added license
Next message: ports/177040: r310778 did not bump PORTREVISION breking nautilus build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Synopsis: fix port: math/proofgeneral

Responsible-Changed-From-To: freebsd-ports-bugs->bdrewery
Responsible-Changed-By: bdrewery
Responsible-Changed-When: Sat Mar 16 20:32:22 CDT 2013
Responsible-Changed-Why: 
I understand this problem now and am seeking a solution

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

Previous message: ports/177039: [PATCH] games/cre: OptionsNG, added license
Next message: ports/177040: r310778 did not bump PORTREVISION breking nautilus build
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports-bugs mailing list