Hello, I have been informed that Coccinelle is unavailable on Ubuntu 20.04. As I am unsure if making it available is related to you, I'm reaching out to discuss this with you. Are you aware of this situation and what could possibly be the cause ?
On a side note, Coccinelle 1.1.0 has been released so the package can be updated Thanks, -- Corentin De Souza Research Engineer Whisper team @ INRIA