Man pages matching name pps-tools in section 8:

pps-tools.8.en	debian 10 / pps-tools
pps-tools.8.en	debian 11 / pps-tools
pps-tools.8.en	debian 12 / pps-tools