Processing of prover9-manual_0.0.200902a-2_amd64.changes

To: packages@qa.debian.org
Subject: Processing of prover9-manual_0.0.200902a-2_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Sat, 04 May 2013 05:20:43 +0000
Message-id: <[🔎] E1UYUtn-0005Qx-2k@franck.debian.org>

prover9-manual_0.0.200902a-2_amd64.changes uploaded successfully to localhost
along with the files:
  prover9-manual_0.0.200902a-2.dsc
  prover9-manual_0.0.200902a-2.debian.tar.gz
  prover9-doc_0.0.200902a-2_all.deb

Greetings,

	Your Debian queue daemon (running on host franck.debian.org)

Reply to:

Prev by Date: tcpser_1.0rc12-2_amd64.changes ACCEPTED into unstable
Next by Date: prover9-manual_0.0.200902a-2_amd64.changes ACCEPTED into unstable
Previous by thread: tcpser_1.0rc12-2_amd64.changes ACCEPTED into unstable
Next by thread: prover9-manual_0.0.200902a-2_amd64.changes ACCEPTED into unstable
Index(es):
- Date
- Thread