ports/166867: update port and fix build: math/proofgeneral

scheidell at FreeBSD.org scheidell at FreeBSD.org
Sun Apr 15 20:56:58 UTC 2012


Synopsis: update port and fix build: math/proofgeneral

Responsible-Changed-From-To: freebsd-ports-bugs->scheidell
Responsible-Changed-By: scheidell
Responsible-Changed-When: Sun Apr 15 20:56:57 UTC 2012
Responsible-Changed-Why: 
I'll take it.

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



More information about the freebsd-ports-bugs mailing list