coccinelle_1.0.0~rc7.deb-3_amd64.changes uploaded successfully to ftp-master.debian.org along with the files: coccinelle_1.0.0~rc7.deb-3.dsc coccinelle_1.0.0~rc7.deb-3.debian.tar.gz coccinelle_1.0.0~rc7.deb-3_amd64.deb Greetings, Your Debian queue daemon (running on host kassia.debian.org)