The text c05ae0a37557, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
script to convert LaTeX file to DVI
latex2dvi(1p) on Linux now
