Package: tla Version: 1.3.5+dfsg-16 tla's build system is broken and causes a larger recompile if make is called a second time. Especially it does seems to recompile most of tla when running make test, needlessly causing work to the autobuilders... Bernhard R. Link