Doc index - coccinelle Packages contains this documentation Package: coccinelle apt-get install coccinelle Manuals in package: spatch(1) pycocci(1) spgen(1) Documentations in package: coccinelle Documentation root: https://dweb.link/ipfs/bafybeiffzcrhddig5chqqmjub5qp75spfahzbzyu5uqjorxrph5thq3ite