Bug#214536: marked as done (coq: Could you upgrade coq to version 7.4 ?)
Your message dated Sun, 26 Oct 2003 13:55:57 +0100
with message-id <20031026125557.GA31544@club-internet.fr>
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 remi.vanicat@wanadoo.fr Tue Oct 07 04:31:26 2003
Return-path: <remi.vanicat@wanadoo.fr>
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 <submit@bugs.debian.org>; 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 <submit@bugs.debian.org>; Tue, 07 Oct 2003 11:31:49 +0200
From: Remi Vanicat <vanicat@debian.org>
To: Debian Bug Tracking System <submit@bugs.debian.org>
Subject: coq: Could you upgrade coq to version 7.4 ?
X-Debbugs-CC: Remi Vanicat <vanicat@debian.org>
Date: Tue, 07 Oct 2003 11:31:48 +0200
Message-ID: <87ad8d1ji3.dlv@wanadoo.fr>
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 <moi@wanadoo.fr>
Delivered-To: submit@bugs.debian.org
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
remi.vanicat@laposte.net
---------------------------------------
Received: (at 214536-close) by bugs.debian.org; 26 Oct 2003 12:56:09 +0000
>From treinen@club-internet.fr Sun Oct 26 06:56:00 2003
Return-path: <treinen@club-internet.fr>
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 <treinen@club-internet.fr>
To: Stefano Zacchiroli <zack@debian.org>,
214536-close@bugs.debian.org
Subject: Re: Processed: coq
Message-ID: <20031026125557.GA31544@club-internet.fr>
References: <20031025195941.GF14940@club-internet.fr> <[🔎] handler.s.C.106711198331132.transcript@bugs.debian.org> <[🔎] 20031026103237.GA2758@fistandantilus.takhisis.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <[🔎] 20031026103237.GA2758@fistandantilus.takhisis.org>
User-Agent: Mutt/1.5.4i
Sender: Ralf Treinen <treinen@club-internet.fr>
Delivered-To: 214536-close@bugs.debian.org
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.
--
Reply to: