Your message dated Sun, 26 Oct 2003 13:55:57 +0100
with message-id <[EMAIL PROTECTED]>
and subject line Processed: coq
has caused the attached Bug report to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what I am
talking about this indicates a serious mail system misconfiguration
somewhere. Please contact me immediately.)
Debian bug tracking system administrator
(administrator, Debian Bugs database)
--------------------------------------
Received: (at submit) by bugs.debian.org; 7 Oct 2003 09:31:26 +0000
>From [EMAIL PROTECTED] Tue Oct 07 04:31:26 2003
Return-path: <[EMAIL PROTECTED]>
Received: from smtp8.wanadoo.fr (mwinf0104.wanadoo.fr) [193.252.22.30]
by master.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1A6oBi-0001hZ-00; Tue, 07 Oct 2003 04:31:26 -0500
Received: from debian (ca-bordeaux-19-1.w80-8.abo.wanadoo.fr [80.8.91.1])
by mwinf0104.wanadoo.fr (SMTP Server) with ESMTP id 68C571BFB3B9
for <[EMAIL PROTECTED]>; Tue, 7 Oct 2003 11:31:25 +0200 (CEST)
Received: from moi by debian with local (Exim 3.36 #1 (Debian))
id 1A6oC5-0001az-00
for <[EMAIL PROTECTED]>; Tue, 07 Oct 2003 11:31:49 +0200
From: Remi Vanicat <[EMAIL PROTECTED]>
To: Debian Bug Tracking System <[EMAIL PROTECTED]>
Subject: coq: Could you upgrade coq to version 7.4 ?
X-Debbugs-CC: Remi Vanicat <[EMAIL PROTECTED]>
Date: Tue, 07 Oct 2003 11:31:48 +0200
Message-ID: <[EMAIL PROTECTED]>
User-Agent: Gnus/5.090024 (Oort Gnus v0.24) Emacs/21.3 (gnu/linux)
MIME-Version: 1.0
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 8bit
Sender: Vanicat Remi <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
X-Spam-Status: No, hits=-6.5 required=4.0
tests=BAYES_10,HAS_PACKAGE
version=2.53-bugs.debian.org_2003_10_05
X-Spam-Level:
X-Spam-Checker-Version: SpamAssassin 2.53-bugs.debian.org_2003_10_05
(1.174.2.15-2003-03-30-exp)
Package: coq
Version: 7.3.1-1
Severity: wishlist
Hello,
coq 7.4 is said to have come on February 2003. It might be interesting
if it would be the version in the next stable.
Thanks.
--
Rémi Vanicat
[EMAIL PROTECTED]
---------------------------------------
Received: (at 214536-close) by bugs.debian.org; 26 Oct 2003 12:56:09 +0000
>From [EMAIL PROTECTED] Sun Oct 26 06:56:00 2003
Return-path: <[EMAIL PROTECTED]>
Received: from relay-3v.club-internet.fr [194.158.96.114]
by master.debian.org with esmtp (Exim 3.35 1 (Debian))
id 1ADkR5-0003ji-00; Sun, 26 Oct 2003 06:55:59 -0600
Received: from localhost (f09v-5-28.d1.club-internet.fr [212.194.184.28])
by relay-3v.club-internet.fr (Postfix) with ESMTP
id ACF063C11; Sun, 26 Oct 2003 13:55:58 +0100 (CET)
Received: from rt by localhost with local (Exim 3.36 #1 (Debian))
id 1ADkR3-0008QA-00; Sun, 26 Oct 2003 13:55:57 +0100
Date: Sun, 26 Oct 2003 13:55:57 +0100
From: Ralf Treinen <[EMAIL PROTECTED]>
To: Stefano Zacchiroli <[EMAIL PROTECTED]>,
[EMAIL PROTECTED]
Subject: Re: Processed: coq
Message-ID: <[EMAIL PROTECTED]>
References: <[EMAIL PROTECTED]> <[EMAIL PROTECTED]> <[EMAIL PROTECTED]>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[EMAIL PROTECTED]>
User-Agent: Mutt/1.5.4i
Sender: Ralf Treinen <[EMAIL PROTECTED]>
Delivered-To: [EMAIL PROTECTED]
X-Spam-Status: No, hits=-5.7 required=4.0
tests=EMAIL_ATTRIBUTION,QUOTED_EMAIL_TEXT
version=2.53-bugs.debian.org_2003_10_21
X-Spam-Level:
X-Spam-Checker-Version: SpamAssassin 2.53-bugs.debian.org_2003_10_21
(1.174.2.15-2003-03-30-exp)
On Sun, Oct 26, 2003 at 11:32:37AM +0100, Stefano Zacchiroli wrote:
> On Sat, Oct 25, 2003 at 03:03:14PM -0500, Debian Bug Tracking System wrote:
> > > tags 214536 + wontfix
> > Bug#214536: coq: Could you upgrade coq to version 7.4 ?
>
> IMO you can close the bug. Unwillingness to upgrade a debian package to
> an unreleased software version isn't a bug.
I guess you a right. I hereby declare this bug closed :-)
-Ralf.
--
