Package: mcu8051ide

"mcu8051ide" package binaries on Debian:

/usr/bin/mcu8051ide

You may install this package on Debian with apt-get install mcu8051ide