diffindex-rred
search for files within Debian packages (command-line interface)
RUN apt-get update && \
apt-get install -y apt-file
RUN apt-get update && \
apt-get install -y apt-file
RUN apt-get update && \
apt-get install -y apt-file
RUN apt-get update && \
apt-get install -y apt-file