cvs commit: ports/math/coq Makefile

[Kris Kennaway]

On Mon, Dec 05, 2005 at 09:49:23AM +0000, Volker Stolz wrote:
> vs          2005-12-05 09:49:23 UTC
> 
>   FreeBSD ports repository
> 
>   Modified files:
>     math/coq             Makefile 
>   Log:
>   Bump PORTREVISION to regenerate the package with the newly enabled IDE on the cluster
>   
>   Suggested by: kris

Actually it's not for the cluster (which checks for differences in the
dependency lists), but for portupgrade on user systems (which
doesn't).

Kris
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 187 bytes
Desc: not available
Url : http://lists.freebsd.org/pipermail/cvs-ports/attachments/20051205/242b6c4d/attachment.bin