On Tue, Feb 04, 2020 at 03:14:22PM -0300, eamanu wrote: > Source: coccinelle > Version: 1.0.4.deb-3 > > Hi everybody, > > This issue was forward to upstream [1]. > > The dependency will be remove from coccinelle soon > > [1] https://systeme.lip6.fr/pipermail/cocci/2020-February/006836.html
Dear Ocaml maintainers, This was fixed in https://github.com/coccinelle/coccinelle/commit/2a8bcf6dbb1eb68004a3db56341c35d3d6daace4 It would be great if this were uploaded soon, coccinelle is among the last handful of packages blocking the pygtk removal now. Cheers, Moritz