Man pages matching name ipmi_cmdlang in section 7:

ipmi_cmdlang.7.en	debian 10 / openipmi
ipmi_cmdlang.7.en	debian 11 / openipmi
ipmi_cmdlang.7.en	debian 12 / openipmi