Taylor Blau [off-list ref] writes:
From a quick search, it looks like coccinelle was moved to the
"universe" repository, at least in the Azure mirrors (which is what
GitHub Actions uses):
http://azure.archive.ubuntu.com/ubuntu/pool/universe/c/coccinelle/
Unfortunately the pool/ system does not tell us which suite a
package is available in (that's the whole point of it, as it lets
them share the packages across suites without moving things around).
Looking for the package availability
https://packages.ubuntu.com/search?keywords=coccinelle
seems to tell me about these:
xenial (16.04LTS) (devel): semantic patching tool for C [universe]
1.0.4.deb-2: amd64 arm64 armhf i386 powerpc ppc64el s390x
bionic (18.04LTS) (devel): semantic patching tool for C [universe]
1.0.4.deb-3build4: amd64 arm64 armhf i386 ppc64el s390x
groovy (20.10) (devel): semantic patching tool for C [universe]
1.0.8.deb-4: amd64 arm64 armhf ppc64el s390x
hirsute (devel): semantic patching tool for C [universe]
1.0.8.deb-5build1: amd64 arm64 armhf ppc64el s390x
but it does not seem to produce hits in any of the [focal],
[focal-updates], and [focal-backports] suites, which the actions
thing seem to be using X-<.
Hmph...