cvs commit: ports/math/coq Makefile

[Johan van Selst]

johans      2008-04-16 22:10:53 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile 
  Log:
  - Due to depency updates, camlp5 (fresh port) is now required as well:
    Include this dependency and bump portrevision
  
  Revision  Changes    Path
  1.17      +3 -0      ports/math/coq/Makefile