Package: dvbstreamer

"dvbstreamer" package binaries on Debian:

/usr/bin/convertdvbdb /usr/bin/dvbctrl /usr/bin/dvbstreamer /usr/bin/setupdvbstreamer

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