Accepted: tla-tools_2005.0.patch.4-2.diff.gz to pool/main/t/tla-tools/tla-tools_2005.0.patch.4-2.diff.gz tla-tools_2005.0.patch.4-2.dsc to pool/main/t/tla-tools/tla-tools_2005.0.patch.4-2.dsc tla-tools_2005.0.patch.4-2_all.deb to pool/main/t/tla-tools/tla-tools_2005.0.patch.4-2_all.deb Announcing to debian-devel-changes@lists.debian.org Thank you for your contribution to Debian.