../ coccinelle-doc_1.0.0~rc12.deb-5_all.deb 25-Nov-2012 14:41 772468 coccinelle_1.0.0~rc12.deb-5.debian.tar.gz 25-Nov-2012 14:41 9005 coccinelle_1.0.0~rc12.deb-5.dsc 25-Nov-2012 14:41 1854 coccinelle_1.0.0~rc12.deb-5_armhf.deb 01-Dec-2012 11:30 506922 coccinelle_1.0.0~rc12.deb.orig.tar.gz 09-Apr-2012 17:32 1536319