Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 23 Mar 2006 03:53:37 GMT
From:      Marcus Alves Grando <mnag@FreeBSD.org>
To:        mnag@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org, mnag@FreeBSD.org
Subject:   Re: ports/94670: [UPDATE] math/proofgeneral 3.5 -> 3.6
Message-ID:  <200603230353.k2N3rbGP058083@freefall.freebsd.org>

next in thread | raw e-mail | index | archive | help
Synopsis: [UPDATE] math/proofgeneral 3.5 -> 3.6

Responsible-Changed-From-To: freebsd-ports-bugs->mnag
Responsible-Changed-By: mnag
Responsible-Changed-When: Thu Mar 23 03:53:37 UTC 2006
Responsible-Changed-Why: 
I'll take it.

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



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