cvs commit: ports/math/coq Makefile
Kris Kennaway
kris at obsecurity.org
Mon Dec 5 14:18:37 PST 2005
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
More information about the cvs-ports
mailing list