Package: dvbstream

"dvbstream" package binaries on Debian:

/usr/bin/dumprtp /usr/bin/dvbstream /usr/bin/rtpfeed /usr/bin/ts_filter

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