ports/148034: The version of math/coq is wrong.

[Jacques Garrigue]

>Number:         148034
>Category:       ports
>Synopsis:       The version of math/coq is wrong.
>Confidential:   no
>Severity:       non-critical
>Priority:       medium
>Responsible:    freebsd-ports-bugs
>State:          open
>Quarter:        
>Keywords:       
>Date-Required:
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Mon Jun 21 09:50:04 UTC 2010
>Closed-Date:
>Last-Modified:
>Originator:     Jacques Garrigue
>Release:        8.0
>Organization:
Nagoya University
>Environment:
FreeBSD marie.garrigue.jp 8.0-RELEASE FreeBSD 8.0-RELEASE #0: Sat Nov 21 15:48:17 UTC 2009     root at almeida.cse.buffalo.edu:/usr/obj/usr/src/sys/GENERIC  i386
>Description:
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.


>How-To-Repeat:

>Fix:
The best fix is to update the port to 8.2pl1, with an appropriate numbering.


>Release-Note:
>Audit-Trail:
>Unformatted: