cvs commit: ports/math/coq Makefile distinfo

[Volker Stolz]

vs          2005-02-02 11:34:42 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo 
  Log:
  Update to 8.0p2
  
  PR:             ports/76977
  Submitted by:   Rene Laden (maintainer)
  
  Revision  Changes    Path
  1.6       +3 -6      ports/math/coq/Makefile
  1.2       +2 -4      ports/math/coq/distinfo