Installing: texdoctk_0.5.1-3.diff.gz to pool/main/t/texdoctk/texdoctk_0.5.1-3.diff.gz texdoctk_0.5.1-3.dsc to pool/main/t/texdoctk/texdoctk_0.5.1-3.dsc texdoctk_0.5.1-3_all.deb to pool/main/t/texdoctk/texdoctk_0.5.1-3_all.deb Announcing to debian-devel-changes@lists.debian.org Closing bugs: Thank you for your contribution to Debian.