Package: dolphin

"dolphin" package binaries on Debian:

/usr/bin/dolphin /usr/bin/servicemenudeinstallation /usr/bin/servicemenuinstallation

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