cvs commit: ports/math/coq Makefile

[Volker Stolz]

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
  
  Revision  Changes    Path
  1.9       +1 -0      ports/math/coq/Makefile