Package: microhope

"microhope" package binaries on Debian:

/usr/bin/create-microhope-env /usr/bin/microhope /usr/bin/microhope-doc /usr/bin/uhope

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