Processing of coq-doc_8.4pl4-2_amd64.changes

To: debian-ocaml-maint@lists.debian.org
Subject: Processing of coq-doc_8.4pl4-2_amd64.changes
From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
Date: Thu, 11 Feb 2016 21:59:04 +0000
Message-id: <[🔎] E1aTzGS-0005Px-62@franck.debian.org>

coq-doc_8.4pl4-2_amd64.changes uploaded successfully to localhost
along with the files:
  coq-doc_8.4pl4-2.dsc
  coq-doc_8.4pl4-2.debian.tar.xz
  coq-doc-html_8.4pl4-2_all.deb
  coq-doc-pdf_8.4pl4-2_all.deb
  coq-doc_8.4pl4-2_all.deb

Greetings,

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

Reply to:

Prev by Date: why is marked for autoremoval from testing
Next by Date: Bug#813063: marked as done (coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal)
Previous by thread: why is marked for autoremoval from testing
Next by thread: Bug#813063: marked as done (coq-doc: FTBFS in sid: File "kernel/univ.ml", line 229, characters 0-2: Error: This comment contains an unterminated string literal)
Index(es):
- Date
- Thread