The text f8090114ecdc, as Debian 4.0 (Etch) shipped it.
Convert TeX DVI file to PDF using ghostscript and dvips
dvipdf(1) on Linux now
