Man pages matching name pinto in section 1p:

pinto.1p.en	debian 10 / pinto
pinto.1p.en	debian 11 / pinto
pinto.1p.en	debian 12 / pinto