dpkg-source: info: extracting tla-tools in /srv/sources.debian.org/sources/main/t/tla-tools/2005.0.patch.29-2
dpkg-source: info: unpacking tla-tools_2005.0.patch.29.orig.tar.gz
dpkg-source: info: applying tla-tools_2005.0.patch.29-2.diff.gz