ports/93954: math/coq: update to version 8.0p3

[Volker Stolz]

The following reply was made to PR ports/93954; it has been noted by GNATS.

From: "Volker Stolz" <vs at foldr.org>
To: bug-followup at freebsd.org, johans at 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