Date: Mon, 10 Sep 2007 12:11:22 GMT From: edwin@FreeBSD.org To: timbob@bigpond.com, edwin@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/116046: Update port: math/isabelle Message-ID: <200709101211.l8ACBMjP023989@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: Update port: math/isabelle State-Changed-From-To: open->closed State-Changed-By: edwin State-Changed-When: Mon Sep 10 12:11:15 UTC 2007 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=116046
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200709101211.l8ACBMjP023989>