coccinelle_0.1.7.deb-3_amd64.changes uploaded successfully to localhost along with the files: coccinelle_0.1.7.deb-3.dsc coccinelle_0.1.7.deb-3.diff.gz coccinelle_0.1.7.deb-3_amd64.deb Greetings, Your Debian queue daemon