Processing of coq_8.2~beta4+dfsg-2_i386.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq_8.2~beta4+dfsg-2_i386.changes
From: Archive Administrator <dak@ftp-master.debian.org>
Date: Fri, 15 Aug 2008 12:18:16 +0000
Message-id: <E1KTyG0-0006eR-V5@ries.debian.org>

coq_8.2~beta4+dfsg-2_i386.changes uploaded successfully to localhost
along with the files:
  coq_8.2~beta4+dfsg-2.dsc
  coq_8.2~beta4+dfsg-2.diff.gz
  coq-libs_8.2~beta4+dfsg-2_all.deb
  coq_8.2~beta4+dfsg-2_i386.deb
  coqide_8.2~beta4+dfsg-2_i386.deb

Greetings,

	Your Debian queue daemon

Reply to:

Prev by Date: Processed: setting package to coq-libs coqide coq, tagging 495165
Next by Date: coq_8.2~beta4+dfsg-2_i386.changes REJECTED
Previous by thread: Processed: setting package to coq-libs coqide coq, tagging 495165
Next by thread: Processing of coq_8.2~beta4+dfsg-2_i386.changes
Index(es):
- Date
- Thread