Man pages matching name ipmiping in section 8:

ipmiping.8.en	debian 10 / freeipmi-tools
ipmiping.8.en	debian 11 / freeipmi-tools
ipmiping.8.en	debian 12 / freeipmi-tools