The text e38a7d0def01, as Debian 6.0 (Squeeze) shipped it.
translate a dvi file for humans
dvitype(1) on Linux now
