coccinelle_1.3.0.deb-1+b3_i386.deb
coccinelle_1.3.0.deb-1+b4_amd64.deb
coccinelle_1.3.0.deb-1.debian.tar.xz
coccinelle_1.3.0.deb-1.dsc
coccinelle_1.3.0.deb.orig.tar.gz