Date: Thu, 16 Mar 2006 15:31:37 GMT From: Pav Lucistnik <pav@FreeBSD.org> To: johans@stack.nl, pav@FreeBSD.org, freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/93954: math/coq: update to version 8.0p3 Message-ID: <200603161531.k2GFVbAG086197@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
Synopsis: math/coq: update to version 8.0p3 State-Changed-From-To: open->closed State-Changed-By: pav State-Changed-When: Thu Mar 16 15:31:31 UTC 2006 State-Changed-Why: Committed, thanks! http://www.freebsd.org/cgi/query-pr.cgi?pr=93954
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603161531.k2GFVbAG086197>