/usr/sbin/bmc-config
/usr/sbin/bmc-device
/usr/sbin/bmc-info
/usr/sbin/ipmi-chassis-config
/usr/sbin/ipmi-chassis
/usr/sbin/ipmi-config
/usr/sbin/ipmi-console
/usr/sbin/ipmiconsole
/usr/sbin/ipmi-dcmi
/usr/sbin/ipmi-fru
/usr/sbin/ipmi-locate
/usr/sbin/ipmimonitoring
/usr/sbin/ipmi-oem
/usr/sbin/ipmi-pef-config
/usr/sbin/ipmi-pet
/usr/sbin/ipmi-ping
/usr/sbin/ipmiping
/usr/sbin/ipmi-power
/usr/sbin/ipmipower
/usr/sbin/ipmi-raw
/usr/sbin/ipmi-sel
/usr/sbin/ipmi-sensors-config
/usr/sbin/ipmi-sensors
/usr/sbin/pef-config
/usr/sbin/rmcp-ping
/usr/sbin/rmcpping
You may install this package on Debian with
apt-get
install freeipmi-tools