coq 8.0pl2-4 MIGRATED to testing

To: coq@packages.debian.org
Cc: coq_summary@packages.qa.debian.org
Subject: coq 8.0pl2-4 MIGRATED to testing
From: Debian testing watch <henning@debian.org>
Date: Sat, 03 Dec 2005 15:08:05 -0700
Message-id: <[🔎] E1EifY5-0000DT-BA@merkel.debian.org>

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

-- 
This email is automatically generated.
See http://people.debian.org/~henning/trille/ for more information.

Reply to:

Follow-Ups:
- Re: coq 8.0pl2-4 MIGRATED to testing
  - From: Sven Luther <sven.luther@wanadoo.fr>
- Re: coq 8.0pl2-4 MIGRATED to testing
  - From: Sven Luther <sven.luther@wanadoo.fr>

Prev by Date: lablgl_1.01-9_i386.changes ACCEPTED
Next by Date: Re: coq 8.0pl2-4 MIGRATED to testing
Previous by thread: lablgl_1.01-9_i386.changes ACCEPTED
Next by thread: Re: coq 8.0pl2-4 MIGRATED to testing
Index(es):
- Date
- Thread