Date: Mon, 1 May 2006 18:02:34 GMT From: Sergey Matveychuk <sem@FreeBSD.org> To: timbob@bigpond.com, sem@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/94670: [UPDATE] math/proofgeneral 3.5 -> 3.6 Message-ID: <200605011802.k41I2Y4w058761@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: [UPDATE] math/proofgeneral 3.5 -> 3.6 State-Changed-From-To: open->closed State-Changed-By: sem State-Changed-When: Mon May 1 18:02:33 UTC 2006 State-Changed-Why: Committed. Thanks! 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?200605011802.k41I2Y4w058761>