cvs commit: ports/math/coq Makefile distinfo

Fri Jun 25 06:53:04 UTC 2010

johans      2010-06-25 06:53:04 UTC

  FreeBSD ports repository

  Modified files:
    math/coq             Makefile distinfo 
  Log:
  - Update to version 8.2pl1
  - Bump EPOCH due to different versioning style
  - Build and install documentation
  
  PR:             ports/148034
  Submitted by:   Jacques Garrigue <garrigue at math.nagoya-u.ac.jp>
  Feature safe:   yes
  
  Revision  Changes    Path
  1.24      +16 -17    ports/math/coq/Makefile
  1.10      +3 -3      ports/math/coq/distinfo