Bug 148034

Summary: The version of math/coq is wrong.
Product: Ports & Packages Reporter: Jacques Garrigue <garrigue>
Component: Individual Port(s)Assignee: Johan van Selst <johans>
Status: Closed FIXED    
Severity: Affects Only Me    
Priority: Normal    
Version: Latest   
Hardware: Any   
OS: Any   

Description Jacques Garrigue 2010-06-21 10:50:04 UTC 
The Coq port in both 8.0 and 8.1-RC2 is labelled as version 8.2.1, but it is actually version 8.2. This is most confusing since the current release version, for more than 1 year, is 8.2pl1, which has some incompatibilities.
Comment 1 dfilter service freebsd_committer freebsd_triage 2010-06-25 07:53:12 UTC 
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@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
_______________________________________________
cvs-all@freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "cvs-all-unsubscribe@freebsd.org"
Comment 2 Johan van Selst freebsd_committer freebsd_triage 2010-06-25 07:53:15 UTC 
State Changed
From-To: open->closed

math/coq has been updated to 8.2pl1 
Thanks for your report