cvs commit: ports/math/coq Makefile distinfo ports/math/coq/files patch-camlp5-6-compat

[Johan van Selst]

johans      2011-02-12 12:30:08 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo 
  Removed files:
    math/coq/files       patch-camlp5-6-compat 
  Log:
  - Update coq to 8.3pl1
  - Remove obsoleted patch (fixed in dist)
  
  Revision  Changes    Path
  1.27      +1 -1      ports/math/coq/Makefile
  1.12      +2 -2      ports/math/coq/distinfo
  1.2       +0 -77     ports/math/coq/files/patch-camlp5-6-compat (dead)