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