coccinelle_0.2.5.deb-3_amd64.changes uploaded successfully to localhost along with the files: coccinelle_0.2.5.deb-3.dsc coccinelle_0.2.5.deb-3.debian.tar.gz coccinelle_0.2.5.deb-3_amd64.deb Greetings, Your Debian queue daemon (running on host franck.debian.org)