Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 12 Jul 2012 12:52:22 GMT
From:      ak@FreeBSD.org
To:        ak@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, ak@FreeBSD.org
Subject:   Re: ports/169774: fix broken port: math/proofgeneral
Message-ID:  <201207121252.q6CCqMKu035255@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: fix broken port: math/proofgeneral

Responsible-Changed-From-To: freebsd-ports-bugs->ak
Responsible-Changed-By: ak
Responsible-Changed-When: Thu Jul 12 12:52:21 UTC 2012
Responsible-Changed-Why: 
I'll take it.

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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201207121252.q6CCqMKu035255>