cvs commit: ports/math/coq Makefile distinfo pkg-plist

Thu Mar 16 15:31:23 UTC 2006

pav         2006-03-16 15:31:23 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo pkg-plist 
  Log:
  - Update to 8.0pl3
  
  PR:             ports/93954
  Submitted by:   Johan van Selst <johans at stack.nl>
  
  Revision  Changes    Path
  1.12      +6 -8      ports/math/coq/Makefile
  1.5       +6 -6      ports/math/coq/distinfo
  1.5       +3 -6      ports/math/coq/pkg-plist