coccinelle 1.0.0.deb-1 is marked for autoremoval from testing on 2015-11-23 It is affected by these RC bugs: 801459: coccinelle: FTBFS with OCaml 4.02.3