Package: tetex-bin Version: 2.0.2-31 Severity: wishlist Can you switch from libxaw7 to the more recent libxaw8? Compilation works, and the resulting xdvi seems to work, too.