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