coccinelle_1.3.0.deb-1+b7_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