coccinelle_1.0.0.deb-1_amd64.changes uploaded successfully to localhost along with the files: coccinelle_1.0.0.deb-1.dsc coccinelle_1.0.0.deb.orig.tar.gz coccinelle_1.0.0.deb-1.debian.tar.xz coccinelle-doc_1.0.0.deb-1_all.deb coccinelle_1.0.0.deb-1_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)