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