Installing: libkpathsea3_1.0.7+20001218-4.0.1_hppa.deb to pool/main/t/tetex-bin/libkpathsea3_1.0.7+20001218-4.0.1_hppa.deb tetex-bin_1.0.7+20001218-4.0.1_hppa.deb to pool/main/t/tetex-bin/tetex-bin_1.0.7+20001218-4.0.1_hppa.deb libkpathsea-dev_1.0.7+20001218-4.0.1_hppa.deb to pool/main/t/tetex-bin/libkpathsea-dev_1.0.7+20001218-4.0.1_hppa.deb Thank you for your contribution to Debian.