Package: dvi2tty Version: 5.1-3 disdvi dvifile.dvi segfaults. I can't do much in the way of testing, as there is no documentation for this utility :-( - disdvi --help simply reports: --help.dvi: No such file or directory Also, the description is inaccurate - it refers to the divdvi utility, meaning the disdvi utility. Nikhil.