Re: coq 8.0pl2-4 MIGRATED to testing

To: Debian testing watch <henning@debian.org>
Cc: coq@packages.debian.org, coq_summary@packages.qa.debian.org
Subject: Re: coq 8.0pl2-4 MIGRATED to testing
From: Sven Luther <sven.luther@wanadoo.fr>
Date: Sun, 4 Dec 2005 08:29:29 +0100
Message-id: <[🔎] 20051204072929.GA1225@localhost.localdomain>
In-reply-to: <[🔎] E1EifY5-0000DT-BA@merkel.debian.org>
References: <[🔎] E1EifY5-0000DT-BA@merkel.debian.org>

On Sat, Dec 03, 2005 at 03:08:05PM -0700, Debian testing watch wrote:
> FYI: The status of the coq source package
> in Debian's testing distribution has changed.
> 
>   Previous version: 8.0pl2-3
>   Current version:  8.0pl2-4

Mmm, was this the coq version rebuilt with 3.09.0 ? If so, there is something
seriously wrong with the coq packaging going on.

Friendly,

Sven Luther

Reply to:

Follow-Ups:
- Re: coq 8.0pl2-4 MIGRATED to testing
  - From: Samuel Mimram <samuel.mimram@ens-lyon.org>

References:
- coq 8.0pl2-4 MIGRATED to testing
  - From: Debian testing watch <henning@debian.org>

Prev by Date: coq 8.0pl2-4 MIGRATED to testing
Next by Date: Re: coq 8.0pl2-4 MIGRATED to testing
Previous by thread: coq 8.0pl2-4 MIGRATED to testing
Next by thread: Re: coq 8.0pl2-4 MIGRATED to testing
Index(es):
- Date
- Thread