From johans@stack.nl  Mon Jun 21 16:06:05 2010
Return-Path: <johans@stack.nl>
Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:4f8:fff6::34])
	by hub.freebsd.org (Postfix) with ESMTP id 44D96106566B
	for <freebsd-gnats-submit@FreeBSD.org>; Mon, 21 Jun 2010 16:06:05 +0000 (UTC)
	(envelope-from johans@stack.nl)
Received: from mx1.stack.nl (relay02.stack.nl [IPv6:2001:610:1108:5010::104])
	by mx1.freebsd.org (Postfix) with ESMTP id 011118FC1C
	for <freebsd-gnats-submit@FreeBSD.org>; Mon, 21 Jun 2010 16:06:05 +0000 (UTC)
Received: by mx1.stack.nl (Postfix, from userid 65534)
	id 5DA6235A861; Mon, 21 Jun 2010 18:06:04 +0200 (CEST)
Received: from mud.stack.nl (mud.stack.nl [IPv6:2001:610:1108:5011:230:48ff:fe12:2794])
	by mx1.stack.nl (Postfix) with ESMTP id 6A64D35A854;
	Mon, 21 Jun 2010 18:06:02 +0200 (CEST)
Received: by mud.stack.nl (Postfix, from userid 801)
	id 53DC711438; Mon, 21 Jun 2010 18:06:02 +0200 (CEST)
Message-Id: <20100621160602.GA14023@mud.stack.nl>
Date: Mon, 21 Jun 2010 18:06:02 +0200
From: Johan van Selst <johans@stack.nl>
To: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp>
Cc: freebsd-gnats-submit@FreeBSD.org
In-Reply-To: <201006210940.o5L9e1hW032959@www.freebsd.org>
Subject: Re: The version of math/coq is wrong.
References: <201006210940.o5L9e1hW032959@www.freebsd.org>

>Number:         148045
>Category:       ports
>Synopsis:       Re: The version of math/coq is wrong.
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    freebsd-ports-bugs
>State:          closed
>Quarter:        
>Keywords:       
>Date-Required:  
>Class:          sw-bug
>Submitter-Id:   current-users
>Arrival-Date:   Mon Jun 21 16:10:02 UTC 2010
>Closed-Date:    Tue Jun 22 07:20:49 UTC 2010
>Last-Modified:  Tue Jun 22 07:20:49 UTC 2010
>Originator:     
>Release:        
>Organization:
>Environment:
>Description:
 --jRHKVT23PllUwdXP
 Content-Type: text/plain; charset=us-ascii
 Content-Disposition: inline
 
 Jacques Garrigue wrote:
 > 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.
 
 I am aware of this problem and plan to fix it with the next update.
 But I don't think it is important/confusing enough to change it right
 away and let all coq users re-install this program for no good reason.
 
 
 Regards,
 Johan
 
 --jRHKVT23PllUwdXP
 Content-Type: application/pgp-signature
 Content-Disposition: inline
 
 -----BEGIN PGP SIGNATURE-----
 
 iF4EAREIAAYFAkwfjegACgkQAEpMHW8nCPRZFAD+NZsJbFoi/Rjz71yQSe7L2X1b
 L8fMMmwG7OOLdpse7egBALqNr1O1ZLDyDa9Vtvuy0yO8SpfHseYm4f5CG40mVU6k
 =8jAK
 -----END PGP SIGNATURE-----
 
 --jRHKVT23PllUwdXP--
>How-To-Repeat:
>Fix:
>Release-Note:
>Audit-Trail:
State-Changed-From-To: open->closed 
State-Changed-By: linimon 
State-Changed-When: Tue Jun 22 07:20:25 UTC 2010 
State-Changed-Why:  
Misfiled followup to ports/148034; content migrated. 


Responsible-Changed-From-To: gnats-admin->freebsd-ports-bugs 
Responsible-Changed-By: linimon 
Responsible-Changed-When: Tue Jun 22 07:20:25 UTC 2010 
Responsible-Changed-Why:  

http://www.freebsd.org/cgi/query-pr.cgi?pr=148045 
>Unformatted:
