why3_0.87.0-2_amd64.changes uploaded successfully to localhost along with the files: why3_0.87.0-2.dsc why3_0.87.0-2.debian.tar.xz libwhy3-ocaml-dev_0.87.0-2_amd64.deb why3-coq-dbgsym_0.87.0-2_amd64.deb why3-coq_0.87.0-2_amd64.deb why3-dbgsym_0.87.0-2_amd64.deb why3-doc-html_0.87.0-2_all.deb why3-doc-pdf_0.87.0-2_all.deb why3-examples_0.87.0-2_all.deb why3_0.87.0-2_amd64.deb
Greetings,
Your Debian queue daemon (running on host franck.debian.org)
