coccinelle_0.1.8.deb-4_amd64.changes uploaded successfully to ftp.upload.debian.org along with the files: coccinelle_0.1.8.deb-4.dsc coccinelle_0.1.8.deb-4.diff.gz coccinelle_0.1.8.deb-4_amd64.deb Greetings, Your Debian queue daemon