Package: minit

"minit" package binaries on Debian:

/bin/serdo /sbin/hard-reboot /sbin/minit /sbin/minit-list /sbin/minit-shutdown /sbin/minit-update /sbin/msvc /sbin/pidfilehack

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