Date: Mon, 21 Jun 2010 09:40:01 GMT From: Jacques Garrigue <garrigue@math.nagoya-u.ac.jp> To: freebsd-gnats-submit@FreeBSD.org Subject: ports/148034: The version of math/coq is wrong. Message-ID: <201006210940.o5L9e1hW032959@www.freebsd.org> Resent-Message-ID: <201006210950.o5L9o4fX029360@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>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@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:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201006210940.o5L9e1hW032959>