Date: Mon, 3 Sep 2007 16:47:16 GMT From: bsam@FreeBSD.org To: timbob@bigpond.com, bsam@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/116053: Update port: math/isabelle Message-ID: <200709031647.l83GlGfV006047@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: bsam State-Changed-When: Mon Sep 3 16:46:50 UTC 2007 State-Changed-Why: Duplicate of PR/116046. http://www.freebsd.org/cgi/query-pr.cgi?pr=116053
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200709031647.l83GlGfV006047>