Installing: tetex-bin_1.0.7+20001218-3.1_hppa.deb to pool/main/t/tetex-bin/tetex-bin_1.0.7+20001218-3.1_hppa.deb libkpathsea-dev_1.0.7+20001218-3.1_hppa.deb to pool/main/t/tetex-bin/libkpathsea-dev_1.0.7+20001218-3.1_hppa.deb libkpathsea3_1.0.7+20001218-3.1_hppa.deb to pool/main/t/tetex-bin/libkpathsea3_1.0.7+20001218-3.1_hppa.deb If the override file requires editing, reply to this mail. Thank you for your contribution to Debian.