Date: Wed, 1 Mar 2006 09:30:09 GMT From: "Volker Stolz" <vs@foldr.org> To: freebsd-ports-bugs@FreeBSD.org Subject: Re: ports/93954: math/coq: update to version 8.0p3 Message-ID: <200603010930.k219U95A040379@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
The following reply was made to PR ports/93954; it has been noted by GNATS.
From: "Volker Stolz" <vs@foldr.org>
To: bug-followup@freebsd.org, johans@stack.nl
Cc:
Subject: Re: ports/93954: math/coq: update to version 8.0p3
Date: Wed, 01 Mar 2006 10:23:30 +0100
Note to committer: The error in the dependency has been fixed.
Please check if you can't come up with a fix before disabling
functionality.
Cheers,
Volker
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200603010930.k219U95A040379>