Bug#885267: coccinelle: Depends on unmaintained pygtk

[Moritz Mühlenhoff <jmm@inutil.org>]

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