catdvi
DVI to plain text translator
RUN apt-get update && \
apt-get install -y catdvi
RUN apt-get update && \
apt-get install -y catdvi
RUN pacman -S --noconfirm catdvi
RUN apt-get update && \
apt-get install -y catdvi
RUN apt-get update && \
apt-get install -y catdvi