Bug 148034 - The version of math/coq is wrong.
Summary: The version of math/coq is wrong.
Status: Closed FIXED
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: Normal Affects Only Me
Assignee: Johan van Selst
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-06-21 10:50 UTC by Jacques Garrigue
Modified: 2010-06-25 08:00 UTC (History)
0 users

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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