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