Man pages matching name spatch in section 1:

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