Man pages matching name ipmi-pet in section 8:

ipmi-pet.8.en	debian 10 / freeipmi-tools
ipmi-pet.8.en	debian 11 / freeipmi-tools
ipmi-pet.8.en	debian 12 / freeipmi-tools