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