Package: tla

"tla" package binaries on Debian:

/usr/bin/tla /usr/bin/tla-gpg-check

You may install this package on Debian with apt-get install tla