Processing of coq_8.5-2_amd64.changes

[Debian FTP Masters <ftpmaster@ftp-master.debian.org>]

coq_8.5-2_amd64.changes uploaded successfully to localhost
along with the files:
  coq_8.5-2.dsc
  coq_8.5-2.debian.tar.xz
  coq-dbgsym_8.5-2_amd64.deb
  coq-theories-dbgsym_8.5-2_amd64.deb
  coq-theories_8.5-2_amd64.deb
  coq_8.5-2_amd64.deb
  coqide-dbgsym_8.5-2_amd64.deb
  coqide_8.5-2_amd64.deb
  libcoq-ocaml-dbgsym_8.5-2_amd64.deb
  libcoq-ocaml-dev-dbgsym_8.5-2_amd64.deb
  libcoq-ocaml-dev_8.5-2_amd64.deb
  libcoq-ocaml_8.5-2_amd64.deb

Greetings,

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