ports/120987: [MAINTAINER] math/proofgeneral: update to 3.7
edwin at FreeBSD.org
edwin at FreeBSD.org
Sat Feb 23 11:48:02 UTC 2008
Synopsis: [MAINTAINER] math/proofgeneral: update to 3.7
Responsible-Changed-From-To: freebsd-ports-bugs->anray
Responsible-Changed-By: edwin
Responsible-Changed-When: Sat Feb 23 11:48:02 UTC 2008
Responsible-Changed-Why:
anray@ wants this category PRs (via the GNATS Auto Assign Tool)
http://www.freebsd.org/cgi/query-pr.cgi?pr=120987
More information about the freebsd-ports-bugs
mailing list