ports/148049: RE: The version of math/coq is wrong.

linimon at FreeBSD.org linimon at FreeBSD.org
Tue Jun 22 07:21:16 UTC 2010


Synopsis: RE: The version of math/coq is wrong.

State-Changed-From-To: open->closed
State-Changed-By: linimon
State-Changed-When: Tue Jun 22 07:20:51 UTC 2010
State-Changed-Why: 
Misfiled followup to ports/148034; content migrated.


Responsible-Changed-From-To: gnats-admin->freebsd-ports-bugs
Responsible-Changed-By: linimon
Responsible-Changed-When: Tue Jun 22 07:20:51 UTC 2010
Responsible-Changed-Why: 

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



More information about the freebsd-ports-bugs mailing list