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
pgpsq94CUlkVd.pgp
Description: PGP signature
