Man pages matching name pycocci in section 1:

pycocci.1.en	debian 10 / coccinelle
pycocci.1.en	debian 11 / coccinelle
pycocci.1.en	debian 12 / coccinelle