git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: [rfh] where is coccinelle these days on Ubuntu?

From
Junio C Hamano <gitster@pobox.com>
Date
Feb 6, 2021, 18:49 UTC
Message-ID
<xmqqr1lt9gm3.fsf@gitster.c.googlers.com>
In-Reply-To
<YBylBKMG4G4dbiOW@nand.local>
Taylor Blau <me@ttaylorr.com> writes:
Show 5 quoted lines
> 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...
Previous: Taylor BlauNext: Taylor Blau
Message 3 of 5 in “[rfh] where is coccinelle these days on Ubuntu?”
  1. Junio C HamanoFeb 5, 2021
  2. Taylor BlauFeb 5, 2021
  3. Junio C HamanoFeb 6, 2021
  4. Taylor BlauFeb 8, 2021
  5. Junio C HamanoFeb 10, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.