../ coccinelle-doc_1.0.4.deb-4_all.deb 06-Jan-2019 19:40 827496 coccinelle_1.0.4.deb-4.debian.tar.xz 06-Jan-2019 18:14 10100 coccinelle_1.0.4.deb-4.dsc 06-Jan-2019 18:14 2469 coccinelle_1.0.4.deb-4_armhf.deb 12-Jan-2019 06:59 2053308 coccinelle_1.0.4.deb.orig.tar.gz 05-Nov-2015 21:46 1701238